author = { Cunningham, Daniel W. Walter de Gruyter GmbH & Co. KG },

title = { Mathematical logic an Introduction },

publisher = {De Gruyter},

isbn = {9783110782196},

isbn = {9783110782073},

keywords = { PHILOSOPHY / Logic , Aussagenlogik , Prädikatenlogik , Korrektheit , Berechenbarkeit , Gödelscher Unvollständigkeitssatz },

year = {[2023]},

abstract = {Frontmatter},

abstract = {Preface},

abstract = {Acknowledgments},

abstract = {Contents},

abstract = {1 Basic set theory and basic logic},

abstract = {2 Propositional logic},

abstract = {3 First-order logic},

abstract = {4 Soundness and completeness},

abstract = {5 Computability},

abstract = {6 Undecidability and incompleteness},

abstract = {Bibliography},

abstract = {Symbol Index},

abstract = {Subject Index},

booktitle = {De Gruyter Textbook},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }