Arithmetic, proof theory, and computational complexity

• Other Authors: Clote, Peter, Krajicek, Jan
• Format: Book
• Language: English
• Published: Oxford Clarendon Press 1993
• Series: Oxford logic Studies
• Subjects: Λογική, Συμβολική και μαθηματική; Πολυπλοκότητα