Recomienda este artículo a tus amigos:
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications Kaye, Richard W. (University of Birmingham)
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Kaye, Richard W. (University of Birmingham)
Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.
216 pages, 4 b/w illus. 141 exercises
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de julio de 2007 |
| ISBN13 | 9780521708777 |
| Editores | Cambridge University Press |
| Páginas | 216 |
| Dimensiones | 229 × 156 × 12 mm · 306 g |
| Lengua | Inglés |