Cargando…
Introduction to mathematical logic: set theory computable functions model theory
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
1979
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-1-4613-9441-9 http://cds.cern.ch/record/1612147 |
_version_ | 1780932202472669184 |
---|---|
author | Malitz, Jerome |
author_facet | Malitz, Jerome |
author_sort | Malitz, Jerome |
collection | CERN |
id | cern-1612147 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 1979 |
publisher | Springer |
record_format | invenio |
spelling | cern-16121472021-04-21T22:12:08Zdoi:10.1007/978-1-4613-9441-9http://cds.cern.ch/record/1612147engMalitz, JeromeIntroduction to mathematical logic: set theory computable functions model theoryMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16121471979 |
spellingShingle | Mathematical Physics and Mathematics Malitz, Jerome Introduction to mathematical logic: set theory computable functions model theory |
title | Introduction to mathematical logic: set theory computable functions model theory |
title_full | Introduction to mathematical logic: set theory computable functions model theory |
title_fullStr | Introduction to mathematical logic: set theory computable functions model theory |
title_full_unstemmed | Introduction to mathematical logic: set theory computable functions model theory |
title_short | Introduction to mathematical logic: set theory computable functions model theory |
title_sort | introduction to mathematical logic: set theory computable functions model theory |
topic | Mathematical Physics and Mathematics |
url | https://dx.doi.org/10.1007/978-1-4613-9441-9 http://cds.cern.ch/record/1612147 |
work_keys_str_mv | AT malitzjerome introductiontomathematicallogicsettheorycomputablefunctionsmodeltheory |