Now showing items 1-2 of 2

    • Introduction to Mathematical Logic (Edition 2012) 

      Detlovs, Vilnis; Podnieks, Karlis (2012-12-20)
      Hyper-textbook for students. Edition 2012. ATTENTION! New Edition 2017 available at
    • Introduction to Mathematical Logic (Edition 2017) 

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