Proof theory /

• Main Author: Takeuti, Gaisi 1926- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
• Series: Studies in logic and the foundations of mathematics 81.
• Subjects: Λογική, Συμβολική και μαθηματική