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
433. 
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:
434. 
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:
435. 
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:
436. 
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
437. 
A Missing Link in Cybernetics Logic and Continuity için kapak resmi
A Missing Link in Cybernetics Logic and Continuity
Yazar 
Andrew, Alex M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75164-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
438. 
Generalized Measure Theory için kapak resmi
Generalized Measure Theory
Yazar 
Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76852-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
439. 
Logicism, Intuitionism, and Formalism What has Become of Them? için kapak resmi
Logicism, Intuitionism, and Formalism What has Become of Them?
Yazar 
Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
440. 
Games: Unifying Logic, Language, and Philosophy için kapak resmi
Games: Unifying Logic, Language, and Philosophy
Yazar 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
441. 
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory için kapak resmi
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
Yazar 
Marquis, Jean-Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9384-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
442. 
Proof Theory for Fuzzy Logics için kapak resmi
Proof Theory for Fuzzy Logics
Yazar 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
443. 
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics için kapak resmi
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Yazar 
Constanda, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-539-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
444. 
Proof Theory The First Step into Impredicativity için kapak resmi
Proof Theory The First Step into Impredicativity
Yazar 
Pohlers, Wolfram. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69319-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç