Search
Now showing items 1-5 of 5
What is Mathematics: Gödel's Theorem and Around (Edition 2015)
(2015-01-25)
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-06-23)
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-02-07)
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 ...
Introduction to Mathematical Logic (Edition 2017)
(2017-05-24)
This is Edition 2017. Read the NEW Edition 2021 at https://dspace.lu.lv/dspace/handle/7/53914. Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving ...
Introduction to Mathematical Logic (Edition 2014)
(2014-08-25)
Hyper-textbook for students. This is Edition 2014. ATTENTION! New Edition 2021 available at https://dspace.lu.lv/dspace/handle/7/53914