Introduction to Mathematical Logic, Edition 2021
Zusammenfassung
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
Collections
Verwandte Dokumente
Anzeige der Dokumente mit ähnlichem Titel, Autor, Urheber und Thema.
-
Introduction to Mathematical Logic (Edition 2017)
Podnieks, Karlis (2017-05-24)This is Edition 2017. Read the NEW Edition 2021 at https://dspace.lu.lv/dspace/handle/7/53914. Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving ... -
Introduction to Mathematical Logic (Edition 2012)
Detlovs, Vilnis; Podnieks, Karlis (2012-12-20)Hyper-textbook for students. This is Edition 2012. ATTENTION! New Edition 2021 available at https://dspace.lu.lv/dspace/handle/7/53914 -
Abriss der Algebra der Logik, Teil 1. Elementarlehre
Schröder, Ernst (B. G. Teubner, 1909)