Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
tarafından
 
Mostowski, Andrzej.

Başlık
: 
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Yazar
: 
Mostowski, Andrzej.

ISBN
: 
9780444533753

Yayın Bilgileri
: 
Dordrecht : Elsevier Science, 1952.

Fiziksel Tanımlama
: 
1 online resource (v, 117 p.)

Seri
: 
Studies in Logic and the Foundations of Mathematics ; v. 10

Seri Başlığı
: 
Studies in Logic and the Foundations of Mathematics ; v. 10

Konu Terimleri
: 
Logic, Symbolic and mathematical.
 
Semantics (Philosophy)
 
Gödel's theorem.

Yazar Ek Girişi
: 
Mostowski, Andrzej.

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap257274-1001ONLINEElektronik Kütüphane