Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
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ç
22 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Structural Proof Theory için kapak resmi
Structural Proof Theory
Yazar 
Negri, Sara. von Plato, Jan. Ranta, Aarne.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
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. 
Proof theory : sequent calculi and related formalisms için kapak resmi
Proof theory : sequent calculi and related formalisms
Yazar 
Bimbo, Katalin, 1963- author.
Yer Numarası 
ONLINE(356904.1)
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. 
Why is there philosophy of mathematics at all? için kapak resmi
Why is there philosophy of mathematics at all?
Yazar 
Hacking, Ian, author.
Yer Numarası 
QA8.4 H29 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
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.
Yer Numarası 
QA9.54 C86 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Discrete mathematics demystified a self-teaching guide için kapak resmi
Discrete mathematics demystified a self-teaching guide
Yazar 
Krantz, Steven G. (Steven George), 1951-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Math proofs demystified a self-teaching guide için kapak resmi
Math proofs demystified a self-teaching guide
Yazar 
Gibilisco, Stan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: