Recomienda este artículo a tus amigos:
Metamathematics of First-Order Arithmetic - Perspectives in Logic Hajek, Petr (Academy of Sciences of the Czech Republic, Prague)
Metamathematics of First-Order Arithmetic - Perspectives in Logic
Hajek, Petr (Academy of Sciences of the Czech Republic, Prague)
This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
474 pages, 2 b/w illus.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 2 de marzo de 2017 |
| ISBN13 | 9781107168411 |
| Editores | Cambridge University Press |
| Páginas | 476 |
| Dimensiones | 162 × 240 × 36 mm · 910 g |
| Lengua | Inglés |