Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(79)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(100)
Mathematics.
(61)
Logic.
(30)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
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ç
282 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings için kapak resmi
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Yazar 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Kurt Gödel and the Foundations of Mathematics Horizons of Truth için kapak resmi
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Yazar 
Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Introduction to mathematical logic için kapak resmi
Introduction to mathematical logic
Yazar 
Mendelson, Elliott.
Yer Numarası 
QA9 M4 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Commonsense reasoning an event calculus-based approach için kapak resmi
Commonsense reasoning an event calculus-based approach
Yazar 
Mueller, Erik T., author.
Yer Numarası 
ONLINE(355437.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal logic, or, The calculus of inference, necessary and probable için kapak resmi
Formal logic, or, The calculus of inference, necessary and probable
Yazar 
De Morgan, Augustus, 1806-1871, author.
Yer Numarası 
BC135 D4 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Introduction to mathematical proofs için kapak resmi
Introduction to mathematical proofs
Yazar 
Roberts, Charles, author. Taylor and Francis.
Yer Numarası 
QA9.54
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Stochastic Calculus with Infinitesimals için kapak resmi
Stochastic Calculus with Infinitesimals
Yazar 
Herzberg, Frederik. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333673.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Discrete mathematics and its applications için kapak resmi
Discrete mathematics and its applications
Yazar 
Rosen, Kenneth H. Krithivasan, Kamala.
Yer Numarası 
QA39.3 R674 2013
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
9. 
Logic and Structure için kapak resmi
Logic and Structure
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331010.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life için kapak resmi
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331026.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
A Logical Introduction to Proof için kapak resmi
A Logical Introduction to Proof
Yazar 
Cunningham, Daniel W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis için kapak resmi
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Yazar 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338283.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç