Browsing Mācību-metodiskie materiāli (DF) / Teaching Stuff by Author "Detlovs, Vilnis"

Now showing items 1-2 of 2

    • Introduction to Mathematical Logic (Edition 2014) 

      Detlovs, Vilnis; Podnieks, Karlis (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

    • Introduction to Mathematical Logic, Edition 2021 

      Detlovs, Vilnis; Podnieks, Karlis (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 ...