Welcome to Store Of OurBook
Your shopping cart is empty!
Search in product descriptions
Rs.5,791.50 Ex Tax: Rs.5,791.50
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies ..