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. 
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. 
A Proof Theory for Description Logics için kapak resmi
A Proof Theory for Description Logics
Yazar 
Rademaker, Alexandre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
The nuts and bolts of proofs an introduction to mathematical proofs için kapak resmi
The nuts and bolts of proofs an introduction to mathematical proofs
Yazar 
Cupillari, Antonella. ScienceDirect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Gd̲el's way exploits into an undecidable world için kapak resmi
Gd̲el's way exploits into an undecidable world
Yazar 
Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
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:
5. 
Frege's notations what they are and how they mean için kapak resmi
Frege's notations what they are and how they mean
Yazar 
Landini, Gregory. Palgrave Connect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The history of mathematical proof in ancient traditions için kapak resmi
The history of mathematical proof in ancient traditions
Yazar 
Chemla, Karine.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: