Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
6 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Handbook of proof theory için kapak resmi
Handbook of proof theory
Yazar 
Buss, Samuel R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Algebra of proofs için kapak resmi
Algebra of proofs
Yazar 
Szabo, M. E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Proof theory için kapak resmi
Proof theory
Yazar 
Takeuti, Gaisi, 1926-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logic in algebraic form Three languages and theories için kapak resmi
Logic in algebraic form Three languages and theories
Yazar 
Craig, William, 1918-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Proof Analysis A Contribution to Hilbert's Last Problem için kapak resmi
Proof Analysis A Contribution to Hilbert's Last Problem
Yazar 
Negri, Sara. von Plato, Jan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: