Now showing items 1-2 of 2
Introduction to Mathematical Logic (Edition 2017)
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. ...
Introduction to Mathematical Logic (Edition 2012)
Hyper-textbook for students. Edition 2012. ATTENTION! New Edition 2017 available at https://dspace.lu.lv/dspace/handle/7/34986