Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel. (Studies in logic and the foundations of mathematics)

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

(Studies in logic and the foundations of mathematics)

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
Series Title: Studies in logic and the foundations of mathematics
Author Heading: Mostowski, Andrzej.
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1957.
Publication Date (W3CDTF): 1957
Extent: 117 p. 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Logic, Symbolic and mathematical.
Semantics (Philosophy)
Gödel's theorem.
LCC: BC135
DDC: 164
Note (Bibliography): Includes bibliography.
Holding library: 国立国会図書館
Call No.: 164-M916s
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006279739
http://id.ndl.go.jp/bib/000006279739
LC Control Number: 52002458 /L/r84
https://lccn.loc.gov/52002458
Bibliographic Record Category (NDL): 211