Basic proof theory /

• Main Author: Troelstra, A. S. (Anne Sjerp) (συγγραφέας.)
• Other Authors: Schwichtenberg, Helmut, 1942- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Cambridge : Cambridge University Press, 1996.
• Series: Cambridge tracts in theoretical computer science 43.
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: xi, 343 σ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0521572231