TY -
GEN
AU - Cunningham, Daniel W.
AU - Walter de Gruyter GmbH & Co. KG
TI -
Mathematical logic
an Introduction
PB - De Gruyter
SN - 9783110782196
SN - 9783110782073
KW - PHILOSOPHY / Logic
KW - Aussagenlogik
KW - Prädikatenlogik
KW - Korrektheit
KW - Berechenbarkeit
KW - Gödelscher Unvollständigkeitssatz
PY - [2023]
N2 - Frontmatter
N2 - Preface
N2 - Acknowledgments
N2 - Contents
N2 - 1 Basic set theory and basic logic
N2 - 2 Propositional logic
N2 - 3 First-order logic
N2 - 4 Soundness and completeness
N2 - 5 Computability
N2 - 6 Undecidability and incompleteness
N2 - Bibliography
N2 - Symbol Index
N2 - Subject Index
BT - De Gruyter Textbook
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -