Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
by
Mostowski, Andrzej.
Title
:
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Author
:
Mostowski, Andrzej.
ISBN
:
9780444533753
Publication Information
:
Dordrecht : Elsevier Science, 1952.
Physical Description
:
1 online resource (v, 117 p.)
Series
:
Studies in Logic and the Foundations of Mathematics ; v. 10
Series Title
:
Studies in Logic and the Foundations of Mathematics ; v. 10
Subject Term
:
Logic, Symbolic and mathematical.
Semantics (Philosophy)
Gödel's theorem.
Added Author
:
Mostowski, Andrzej.
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 257274-1001 | ONLINE | | Elektronik Kütüphane |