Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Mostowski, Andrzej.
(3)
Nerode, Anil. editor.
(3)
Artemov, Sergei. editor.
(2)
Dalen, Dirk. author.
(2)
Dil
Yayın Yılı
-
Konu
Mathematical Logic and Foundations.
(28)
Computer science.
(21)
Mathematics.
(19)
Mathematical Logic and Formal Languages.
(11)
Logic.
(8)
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ç
63 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 için kapak resmi
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Yazar 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Constructive order types için kapak resmi
Constructive order types
Yazar 
Crossley, John N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
The collected papers of Gerhard Gentzen için kapak resmi
The collected papers of Gerhard Gentzen
Yazar 
Szabo, M. E. Gentzen, Gerhard.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Elements of mathematical logic (Model theory) için kapak resmi
Elements of mathematical logic (Model theory)
Yazar 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Non-standard analysis için kapak resmi
Non-standard analysis
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534071
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Languages with expressions of infinite length için kapak resmi
Languages with expressions of infinite length
Yazar 
Karp, Carol, 1926-1972.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
A survey of mathematical logic için kapak resmi
A survey of mathematical logic
Yazar 
Wang, Hao, 1921-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
The logical systems of Lesniewski için kapak resmi
The logical systems of Lesniewski
Yazar 
Luschei, Eugene C.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Intuitionism an introduction için kapak resmi
Intuitionism an introduction
Yazar 
Heyting, A. (Arend), 1898-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Mathematical interpretation of formal systems için kapak resmi
Mathematical interpretation of formal systems
Yazar 
Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533814
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Solvable cases of the decision problem için kapak resmi
Solvable cases of the decision problem
Yazar 
Ackermann, W. (Wilhelm), 1896-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533807
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
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:
Eylem Seç