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. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
Linear Logic in Computer Science için kapak resmi
Linear Logic in Computer Science
Yazar 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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: