An Invitation to Mathematical Logic — 1st ed. 2024. (English)
- New search for: Marker, David
- New search for: Marker, David
2024
-
ISBN:
- Book / Electronic Resource
-
Title:An Invitation to Mathematical Logic
-
Contributors:Marker, David ( author )
-
Published in:
-
Edition:1st ed. 2024.
-
Publisher:
- New search for: Springer Nature Switzerland
-
Place of publication:Cham
-
Publication date:2024
-
Size:1 Online-Ressource(XVIII, 357 p. 7 illus.)
-
Remarks:Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
- New search for: 511.3
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 511.3 -
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Languages, Structures, and TheoriesMarker, David et al. | 2024
- 2
-
Embeddings and SubstructuresMarker, David et al. | 2024
- 3
-
Formal ProofsMarker, David et al. | 2024
- 4
-
Gödel’s Completeness TheoremMarker, David et al. | 2024
- 5
-
Compactness and Complete TheoriesMarker, David et al. | 2024
- 6
-
UltraproductsMarker, David et al. | 2024
- 7
-
Quantifier EliminationMarker, David et al. | 2024
- 8
-
Model Theory of the Real FieldMarker, David et al. | 2024
- 9
-
Models of ComputationMarker, David et al. | 2024
- 10
-
Universal Machines and UndecidabilityMarker, David et al. | 2024
- 11
-
Computably Enumerable and Arithmetic SetsMarker, David et al. | 2024
- 12
-
Turing ReducibilityMarker, David et al. | 2024
- 13
-
Gödel’s Incompleteness TheoremsMarker, David et al. | 2024
- 14
-
Hilbert’s Tenth ProblemMarker, David et al. | 2024
- 15
-
Peano Arithmetic and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \epsilon _0$$\end{document}Marker, David et al. | 2024
- 16
-
Models of Arithmetic and Independence ResultsMarker, David et al. | 2024