6533b7d7fe1ef96bd1267e6a
RESEARCH PRODUCT
Introduction to Mathematical Logic, Edition 2021
Vilnis DetlovsKarlis Podniekssubject
resolution methodHerbrand's theoremmodel theoryComputer Science::Logic in Computer Sciencepredicate logicmathematical logic:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical logic [Research Subject Categories]propositional logictableaux methodcompleteness theoremsdescription
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).
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2021-02-07 |