Browsing Mācību-metodiskie materiāli (DF) / Teaching Stuff by Subject "intuitionistic logic"
Now showing items 1-2 of 2
(2012-12-20)Hyper-textbook for students. Edition 2012. ATTENTION! New Edition 2017 available at https://dspace.lu.lv/dspace/handle/7/34986
(2017-05-24)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. ...