Browsing Mācību-metodiskie materiāli (DF) / Teaching Stuff by Subject "propositional logic"
Now showing items 1-2 of 2
-
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 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 ...