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ç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Proof theory and logical complexity için kapak resmi
Proof theory and logical complexity
Yazar 
Girard, Jean-Yves.
Yer Numarası 
QA 9.54 G57 1987- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Explanation and proof in mathematics : philosophical and educational perspectives için kapak resmi
Explanation and proof in mathematics : philosophical and educational perspectives
Yazar 
Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.
Yer Numarası 
QA9.54 E97 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
A Framework for Priority Arguments için kapak resmi
A Framework for Priority Arguments
Yazar 
Lerman, Manuel.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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: