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.

Detalles Bibliográficos
Autor principal: Kaye, Richard W
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