Search
Now showing items 1-5 of 5
Combinatorial Maps. Tutorial
(2012-03-22)
This tutorial introduces a reader in the theory of combinatorial maps theory as it is outlined in the author's article Graphs as rotations, KAM Series, Prague, 1996, arxiv.org/abs/0909.0104.
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 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