Handbook of proof theory
tarafından
 
Buss, Samuel R.

Başlık
: 
Handbook of proof theory

Yazar
: 
Buss, Samuel R.

ISBN
: 
9780444898401
 
9780080533186

Yayın Bilgileri
: 
New York : Elsevier, 1998.

Fiziksel Tanımlama
: 
1 online resource (811 p.)

Seri
: 
Studies in logic and the foundations of mathematics ; v. 137

Seri Başlığı
: 
Studies in logic and the foundations of mathematics ; v. 137

Konu Terimleri
: 
Proof theory.

Yazar Ek Girişi
: 
Buss, Samuel R.

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap256546-1001ONLINEElektronik Kütüphane