Cargando…
Mathematical logic
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20t...
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Wiley
1967
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/103788 |
_version_ | 1780876952197922816 |
---|---|
author | Kleene, Stephen Cole |
author_facet | Kleene, Stephen Cole |
author_sort | Kleene, Stephen Cole |
collection | CERN |
description | Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition. |
id | cern-103788 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 1967 |
publisher | Wiley |
record_format | invenio |
spelling | cern-1037882021-04-22T05:55:02Zhttp://cds.cern.ch/record/103788engKleene, Stephen ColeMathematical logicMathematical Physics and MathematicsUndergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.Wileyoai:cds.cern.ch:1037881967 |
spellingShingle | Mathematical Physics and Mathematics Kleene, Stephen Cole Mathematical logic |
title | Mathematical logic |
title_full | Mathematical logic |
title_fullStr | Mathematical logic |
title_full_unstemmed | Mathematical logic |
title_short | Mathematical logic |
title_sort | mathematical logic |
topic | Mathematical Physics and Mathematics |
url | http://cds.cern.ch/record/103788 |
work_keys_str_mv | AT kleenestephencole mathematicallogic |