The Logic of Provability |
|
Author:
| Boolos, George S. |
ISBN: | 978-0-511-88225-8 |
Publication Date: | Mar 2011 |
Publisher: | Cambridge University Press
|
Book Format: | Ebook |
List Price: | Contact Supplier contact
|
Book Description:
|
Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.
Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.