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...

Descripción completa

Detalles Bibliográficos
Autor principal: Kleene, Stephen Cole
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