---

＜図書＞
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
(Studies in logic and the foundations of mathematics)

出版者	Amsterdam : North-Holland
出版年	1964
大きさ	117 p. 23 cm.
著者標目	Mostowski, Andrzej
件　名	Godel, Kurt(1906-78) Logic, Symbolic and mathematical Semantics (Philosophy)
一般注記	Includes bibliographical references.

 類似資料