Cargando…
The mathematics of logic: a guide to completeness theorems and their applications
This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Cambridge University Press
2007
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2300769 |