Complexity of Proofs and Their Transformations in Axiomatic Theories

• Format: Hardback
• ISBN: 9780821845769
• Publication Date: Oct 1993
• Availability: In Stock - Despatched Within 5-7 Working Days