Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Logic, Symbolic and mathematical.
(28)
Mathematics.
(9)
Computer science.
(7)
Logic.
(6)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
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ç
31 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
25. 
Logic Colloquium 2007 için kapak resmi
Logic Colloquium 2007
Yazar 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Cardinal Invariants on Boolean Algebras için kapak resmi
Cardinal Invariants on Boolean Algebras
Yazar 
Monk, J. Donald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0346-0334-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Logical Tools for Handling Change in Agent-Based Systems için kapak resmi
Logical Tools for Handling Change in Agent-Based Systems
Yazar 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04407-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia için kapak resmi
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Yazar 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79384-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo için kapak resmi
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Yazar 
Deiser, Oliver. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01445-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Propositions, functions, and analysis selected essays on Russell's philosophy için kapak resmi
Propositions, functions, and analysis selected essays on Russell's philosophy
Yazar 
Hylton, Peter.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Logical Foundations of Proof Complexity için kapak resmi
Logical Foundations of Proof Complexity
Yazar 
Cook, Stephen. Nguyen, Phuong.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: