Proof theory and logical complexity
by
Girard, Jean-Yves.
Title
:
Proof theory and logical complexity
Author
:
Girard, Jean-Yves.
ISBN
:
9788870881233
Publication Information
:
Napoli : Bibliopolis, 1987-
Physical Description
:
c.
Series
:
Studies in Proof Theory ; no : 1
Series Title
:
Studies in Proof Theory ; no : 1
General Note
:
İtalyancadan İngilizceye çeviridir.
Kütüphanede c.1 vardır.
Subject Term
:
İSPAT KURAMI.
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Beytepe Library | Book | 7.2/12/574013 | QA 9.54 G57 1987- V.1 | | Beytepe Genel Koleksiyon |