Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
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ç
19 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
13. 
Lectures on the Curry-Howard isomorphism için kapak resmi
Lectures on the Curry-Howard isomorphism
Yazar 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
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-
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:
15. 
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:
16. 
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:
17. 
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:
18. 
Théorie des ensembles için kapak resmi
Théorie des ensembles
Yazar 
Bourbaki, N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-34035-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
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: