Scan barcode
465 pages • missing pub info (editions)
ISBN/UID: 9780521517690
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 31 December 2011
Description
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in ...
Community Reviews
Content Warnings
465 pages • missing pub info (editions)
ISBN/UID: 9780521517690
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 31 December 2011
Description
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in ...
Community Reviews
Content Warnings