12
0
0
0
0
Where is the Godel-point hiding Gentzen's consistency proof of 1936 and his representation of constructive ordinals / [electronic resource] :
- 作者： Horska, Anna.
- 其他作者：
- 其他題名：
- Springerbriefs in philosophy,
- 出版： Cham : Springer International Publishing :Imprint: Springer
- 叢書名： Springerbriefs in philosophy,
- 主題： Proof theory. , Numbers, Ordinal. , Godel numbers. , Philosophy , Logic , Mathematical Logic and Foundations.
- ISBN： 9783319021713 (electronic bk.) 、 9783319021706 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005115020 | 機讀編目格式
館藏資訊
