Scan barcode
304 pages • missing pub info (editions)
ISBN/UID: 9780198250296
Format: Paperback
Language: English
Publisher: Oxford University Press, USA
Publication date: 18 May 2000
Description
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including...
Community Reviews
Content Warnings
304 pages • missing pub info (editions)
ISBN/UID: 9780198250296
Format: Paperback
Language: English
Publisher: Oxford University Press, USA
Publication date: 18 May 2000
Description
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including...
Community Reviews
Content Warnings