Recomienda este artículo a tus amigos:
The Unprovability of Consistency: An Essay in Modal Logic George Boolos
The Unprovability of Consistency: An Essay in Modal Logic
George Boolos
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency.
196 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de enero de 2009 |
| ISBN13 | 9780521092975 |
| Editores | Cambridge University Press |
| Páginas | 196 |
| Dimensiones | 140 × 216 × 11 mm · 254 g |
| Lengua | Inglés |
Mas por George Boolos
Mostrar todoMere med samme udgiver
Ver todo de George Boolos ( Ej. Paperback Book y Hardcover Book )