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 |
_version_ | 1780957150628020224 |
---|---|
author | Kaye, Richard W |
author_facet | Kaye, Richard W |
author_sort | Kaye, Richard W |
collection | CERN |
description | This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications. |
id | cern-2300769 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2007 |
publisher | Cambridge University Press |
record_format | invenio |
spelling | cern-23007692021-04-21T18:56:20Zhttp://cds.cern.ch/record/2300769engKaye, Richard WThe mathematics of logic: a guide to completeness theorems and their applicationsMathematical Physics and MathematicsThis textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.Cambridge University Pressoai:cds.cern.ch:23007692007 |
spellingShingle | Mathematical Physics and Mathematics Kaye, Richard W The mathematics of logic: a guide to completeness theorems and their applications |
title | The mathematics of logic: a guide to completeness theorems and their applications |
title_full | The mathematics of logic: a guide to completeness theorems and their applications |
title_fullStr | The mathematics of logic: a guide to completeness theorems and their applications |
title_full_unstemmed | The mathematics of logic: a guide to completeness theorems and their applications |
title_short | The mathematics of logic: a guide to completeness theorems and their applications |
title_sort | mathematics of logic: a guide to completeness theorems and their applications |
topic | Mathematical Physics and Mathematics |
url | http://cds.cern.ch/record/2300769 |
work_keys_str_mv | AT kayerichardw themathematicsoflogicaguidetocompletenesstheoremsandtheirapplications AT kayerichardw mathematicsoflogicaguidetocompletenesstheoremsandtheirapplications |