Introduction to Mathematical Logic (Edition 2017)
MetadataShow full item record
Hyper-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, skolemization and resolution method. 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).
Showing items related by title, author, creator and subject.
Detlovs, Vilnis; Podnieks, Karlis (2012-12-20)Hyper-textbook for students. Edition 2012. ATTENTION! New Edition 2017 available at https://dspace.lu.lv/dspace/handle/7/34986
Schumann, Andrew; Smarandache, Florentin (ARP, 2013-09-02)