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ç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
409. 
The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition için kapak resmi
The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition
Yazar 
Linsky, Bernard.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
410. 
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:
411. 
An introduction to practical formal methods using temporal logic için kapak resmi
An introduction to practical formal methods using temporal logic
Yazar 
Fisher, Michael, 1962-
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
412. 
Handbook of logic and language için kapak resmi
Handbook of logic and language
Yazar 
Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
413. 
The Proof is in the Pudding The Changing Nature of Mathematical Proof için kapak resmi
The Proof is in the Pudding The Changing Nature of Mathematical Proof
Yazar 
Krantz, Steven G. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-48744-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
414. 
Proofs and Fundamentals A First Course in Abstract Mathematics için kapak resmi
Proofs and Fundamentals A First Course in Abstract Mathematics
Yazar 
Bloch, Ethan D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7127-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
415. 
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:
416. 
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:
417. 
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:
418. 
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:
419. 
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:
420. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets