Basic proof theory /

• Κύριος συγγραφέας: Troelstra, A. S. (Anne Sjerp) (συγγραφέας.)
• Άλλοι συγγραφείς: Schwichtenberg, Helmut, 1942- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge ; New York : Cambridge University Press, 2000.
• Έκδοση: 2nd ed.
• Σειρά: Cambridge tracts in theoretical computer science
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xii, 417 σ. : εικ. ; 23 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0521779111