Recomienda este artículo a tus amigos:
Introduction to Mathematical Logic Michal Walicki
Introduction to Mathematical Logic
Michal Walicki
An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.
300 pages, illustrations
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de marzo de 2012 |
| Fecha de lanzamiento original | 2011 |
| ISBN13 | 9789814343862 |
| Editores | World Scientific Publishing Co Pte Ltd |
| Páginas | 300 |
| Dimensiones | 164 × 236 × 20 mm · 498 g |