Proof theory and logical complexity
tarafından
Girard, Jean-Yves.
Başlık
:
Proof theory and logical complexity
Yazar
:
Girard, Jean-Yves.
ISBN
:
9788870881233
Yayın Bilgileri
:
Napoli : Bibliopolis, 1987-
Fiziksel Tanımlama
:
c.
Seri
:
Studies in Proof Theory ; no : 1
Seri Başlığı
:
Studies in Proof Theory ; no : 1
Genel Not
:
İtalyancadan İngilizceye çeviridir.
Kütüphanede c.1 vardır.
Konu Terimleri
:
İSPAT KURAMI.
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Beytepe Kütüphanesi | Kitap | 7.2/12/574013 | QA 9.54 G57 1987- V.1 | | İade Tarihi 09.02.2026 |