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:
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/12/574013 | QA 9.54 G57 1987- V.1 | Arıyor... | Arıyor... |