你即將離開本站

並前往https://www.aisixiang.com/data/21416.html

谭天荣：我的右派经历 - 爱思想

半夜三更 往哪里弄？ ... 上抄下了书的部分内容：几个命题演算和谓词演算的形式体系，层次演算中的一个例子：用狄德金的实数定义证明“上确界定理”。

確定！ 回上一頁

查詢 「半夜三更實數」的人也找了：