Conte aos seus amigos sobre este item:
The Logic of Provability
Boolos, George S. (Massachusetts Institute of Technology)
Item sob encomenda (no estoque do fornecedor)
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
The Logic of Provability
Boolos, George S. (Massachusetts Institute of Technology)
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians.
316 pages, black & white illustrations
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de abril de 1995 |
| ISBN13 | 9780521483254 |
| Editoras | Cambridge University Press |
| Páginas | 316 |
| Dimensões | 228 × 155 × 19 mm · 484 g |
| Idioma | English |
Ver tudo de Boolos, George S. (Massachusetts Institute of Technology) ( por exemplo Paperback Book )