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. 
18 Unconventional Essays on the Nature of Mathematics için kapak resmi
18 Unconventional Essays on the Nature of Mathematics
Yazar 
Hersh, Reuben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29831-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Mathematical Problems from Applied Logic I Logics for the XXIst Century için kapak resmi
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Yazar 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
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:
280. 
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:
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. 
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:
Eylem Seç