Arithmetic, proof theory, and computational complexity

• Άλλοι συγγραφείς: Clote, Peter, Krajicek, Jan
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Oxford Clarendon Press 1993
• Σειρά: Oxford logic Studies
• Θέματα: Λογική, Συμβολική και μαθηματική; Πολυπλοκότητα
• Φυσική περιγραφή: x, 428 p. 24 cm.
• Βιβλιογραφία: Includes references
• ISBN: 0198536909