Introduction to Mathematical Logic, Edition 2021
Date
2021-02-07
Authors
Detlovs, Vilnis
Podnieks, Karlis
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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).
Description
Keywords
mathematical logic , propositional logic , predicate logic , model theory , completeness theorems , tableaux method , resolution method , Herbrand's theorem , Research Subject Categories::MATHEMATICS::Algebra, geometry and mathematical analysis::Mathematical logic
Citation
V. Detlovs, K. Podnieks. Introduction to Mathematical Logic, Textbook for students, Edition 2021.