Cargando…
Introduction to mathematical logic
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
CRC Press
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2024627 |