Proof Complexity and Feasible Arithmetics

Paul W. Beame

• Format: Hardback
• ISBN: 9780821805770
• Publication Date: Nov 1997
• Availability: Special order: Usually despatched within 14-18 days