Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
There's something about Gödel the complete guide to the incompleteness theorem için kapak resmi
There's something about Gödel the complete guide to the incompleteness theorem
Yazar 
Berto, Francesco. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781444315028
ebrary http://site.ebrary.com/id/10577633
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings için kapak resmi
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Yazar 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Kurt Gödel and the Foundations of Mathematics Horizons of Truth için kapak resmi
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Yazar 
Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Kurt Gödel and the foundations of mathematics : horizons of truth için kapak resmi
Kurt Gödel and the foundations of mathematics : horizons of truth
Yazar 
Baaz, Matthias.
Yer Numarası 
QA9.65 K87 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Gödel kanıtlaması için kapak resmi
Gödel kanıtlaması
Yazar 
Nagel, Ernest, 1901- Newman, James Roy, 1907-1966. Hofstadter, Douglas R. Gözkan, Bülent.
Yer Numarası 
QA9 N34 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Word problems II the Oxford book için kapak resmi
Word problems II the Oxford book
Yazar 
Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Undecidable theories için kapak resmi
Undecidable theories
Yazar 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel için kapak resmi
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Yazar 
Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: