Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel

Saved in:

書目詳細資料
主要作者:	Mostowski, Andrzej (Author)
格式:	圖書
語言:	英语
出版:	Amsterdam North-Holland 1964
叢編:	Studies in logic and the foundations of mathematics
主題:	TEOREMA DE GODEL
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

MARC


LEADER	00000nam a2200000 a 4500
001	UCW1250
003	CL-VaPUC
008	911218e19640000NE \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b MOS \|2 21
100	0		\|a Mostowski, Andrzej \|e author \|9 305166
245	1	0	\|a Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
300			\|a 117 p
942			\|c BK
945			\|d 19911218 00:00:00
260			\|a Amsterdam \|b North-Holland \|c 1964
650		7	\|a TEOREMA DE GODEL \|2 CL-VaPUC \|9 270664
583			\|a last modification \|c 19911218 00:00:00 \|k Rodrigo Vera
490	0		\|a Studies in logic and the foundations of mathematics
999			\|c 216169 \|d 216167
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_MOS_1964 \|7 0 \|8 A \|9 201662 \|a BIBMAT \|b BIBMAT \|d 2019-11-14 \|i 2689138 \|o 511.3 MOS 1964 \|p 2689138 \|r 2025-01-07 \|w 2019-11-14 \|y BK \|k MAT