Search results for "completeness theorem"
showing 4 items of 14 documents
Formālisms kā reālās matemātikas filozofija: 14 argumenti
2015
Referāts Latvijas Universitātes 73.zinātniskajā konferencē 2015.gada 13.februārī.
What is Mathematics: Gödel's Theorem and Around (Edition 2015)
2015
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
What is Mathematics: Gödel's Theorem and Around (Edition 2013)
2013
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.
Introduction to Mathematical Logic, Edition 2021
2021
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).