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
000000DEFAULT_TR
Yazdır
277. 
Modern Formal Methods and Applications için kapak resmi
Modern Formal Methods and Applications
Yazar 
Gabbar, Hossam A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4223-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Commonsense reasoning için kapak resmi
Commonsense reasoning
Yazar 
Mueller, Erik T.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Mathematics and common sense : a case of creative tension için kapak resmi
Mathematics and common sense : a case of creative tension
Yazar 
Davis, Philip J., 1923, author.
Yer Numarası 
QA9.2 .D38 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Essays in Constructive Mathematics için kapak resmi
Essays in Constructive Mathematics
Yazar 
Edwards, Harold M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138656
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
A Modern Perspective on Type Theory From its Origins until Today için kapak resmi
A Modern Perspective on Type Theory From its Origins until Today
Yazar 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Propositional and Predicate Calculus A Model of Argument için kapak resmi
Propositional and Predicate Calculus A Model of Argument
Yazar 
Goldrei, Derek. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-229-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç