Recomienda este artículo a tus amigos:
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Oxford Texts in Logic Hedman, Shawn (Department of Mathematics, Florida Southern College)
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Oxford Texts in Logic
Hedman, Shawn (Department of Mathematics, Florida Southern College)
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.
452 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de julio de 2004 |
| ISBN13 | 9780198529811 |
| Editores | Oxford University Press |
| Páginas | 452 |
| Dimensiones | 172 × 244 × 22 mm · 752 g |
| Lengua | Inglés |