Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
7 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
1. 
Logical Foundations of Proof Complexity için kapak resmi
Logical Foundations of Proof Complexity
Yazar 
Cook, Stephen. Nguyen, Phuong.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Handbook of Mathematical Induction : Theory and Applications için kapak resmi
Handbook of Mathematical Induction : Theory and Applications
Yazar 
Gunderson, David S., author.
Yer Numarası 
QA9.54 G863 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: