Proof theory /

• Κύριος συγγραφέας: Takeuti, Gaisi 1926- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
• Σειρά: Studies in logic and the foundations of mathematics 81.
• Θέματα: Λογική, Συμβολική και μαθηματική
• Περιγραφή τεκμηρίου: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.; Περιλαμβάνει ευρετήριο.
• Φυσική περιγραφή: vii, 372 σ. ; 24 εκ.
• ISBN: 0444104925