George S. Boolos
The Logic of Provability
- ISBN 13:
- 9780521483254
- author:
- George S. Boolos
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 1995
- Pages:
- 316
- Genre:
- Mathematics Textbook
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
The Logic of Provability by George Boolos is a comprehensive exploration of the relationship between provability and modal logic. First published in 1995, this book offers a fully reworked and updated successor to Boolos's earlier work on the subject. Modal logic, invented by Aristotle, has long been a topic of debate among philosophers and mathematicians. In this book, Boolos applies scientific rigor to the field for the first time, providing new insights into its relationship with provability. The result is a nuanced understanding of a complex and often overlooked area of logic. Suitable for those interested in mathematics, philosophy, or logic, this book provides a detailed examination of the subject matter.