Cargando…

Decidable theories

Detalles Bibliográficos
Autores principales: Müller, Gert H, Siefkes, Dirk
Lenguaje:eng
Publicado: Springer 1970
Materias:
Acceso en línea:https://dx.doi.org/10.1007/BFb0061047
http://cds.cern.ch/record/1690771
_version_ 1780935637491253248
author Müller, Gert H
Siefkes, Dirk
author_facet Müller, Gert H
Siefkes, Dirk
author_sort Müller, Gert H
collection CERN
id cern-1690771
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1970
publisher Springer
record_format invenio
spelling cern-16907712021-04-21T21:13:36Zdoi:10.1007/BFb0061047http://cds.cern.ch/record/1690771engMüller, Gert HSiefkes, DirkDecidable theoriesMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16907711970
spellingShingle Mathematical Physics and Mathematics
Müller, Gert H
Siefkes, Dirk
Decidable theories
title Decidable theories
title_full Decidable theories
title_fullStr Decidable theories
title_full_unstemmed Decidable theories
title_short Decidable theories
title_sort decidable theories
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/BFb0061047
http://cds.cern.ch/record/1690771
work_keys_str_mv AT mullergerth decidabletheories
AT siefkesdirk decidabletheories