Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
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ç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
421. 
Discrete structures, logic, and computability için kapak resmi
Discrete structures, logic, and computability
Yazar 
Hein, James L.
Yer Numarası 
QA76.9.M35 H44 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
422. 
Roads to infinity the mathematics of truth and proof için kapak resmi
Roads to infinity the mathematics of truth and proof
Yazar 
Stillwell, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
423. 
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson için kapak resmi
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
Yazar 
Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68361-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
424. 
Logic and Philosophy of Mathematics in the Early Husserl için kapak resmi
Logic and Philosophy of Mathematics in the Early Husserl
Yazar 
Centrone, Stefania. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
425. 
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:
426. 
A Framework for Priority Arguments için kapak resmi
A Framework for Priority Arguments
Yazar 
Lerman, Manuel.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
427. 
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:
428. 
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:
429. 
Cognitive Reasoning A Formal Approach için kapak resmi
Cognitive Reasoning A Formal Approach
Yazar 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
430. 
Natural Deduction, Hybrid Systems and Modal Logics için kapak resmi
Natural Deduction, Hybrid Systems and Modal Logics
Yazar 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
431. 
Teaching mathematical reasoning in secondary school classrooms için kapak resmi
Teaching mathematical reasoning in secondary school classrooms
Yazar 
Brodie, Karin. Coetzee, Kurt.
Yer Numarası 
QA8.7 B76 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
432. 
Handbook of Set Theory için kapak resmi
Handbook of Set Theory
Yazar 
Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç