Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(477)
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.
(157)
Mathematical logic.
(152)
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ç
631 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
421. 
Tractatus logico-philosophicus için kapak resmi
Tractatus logico-philosophicus
Yazar 
Wittgenstein, Ludwig. Aruoba, Oruç.
Yer Numarası 
BC135 W5719 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
422. 
Mathematical reasoning patterns, problems, conjectures, and proofs için kapak resmi
Mathematical reasoning patterns, problems, conjectures, and proofs
Yazar 
Nickerson, Raymond S.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
423. 
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:
424. 
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:
425. 
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:
426. 
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:
427. 
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:
428. 
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:
429. 
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:
430. 
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:
431. 
Banach Spaces and Descriptive Set Theory: Selected Topics için kapak resmi
Banach Spaces and Descriptive Set Theory: Selected Topics
Yazar 
Dodos, Pandelis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12153-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
432. 
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:
Eylem Seç