Now showing items 1-7 of 7

    • 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 https://dspace.lu.lv/dspace/handle/7/34986
    • Introduction to Mathematical Logic (Edition 2014) 

      Detlovs, Vilnis; Podnieks, Karlis (2014-08-25)
      Hyper-textbook for students. Edition 2014. ATTENTION! New Edition 2017 available at https://dspace.lu.lv/dspace/handle/7/34986
    • 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. ...
    • What is Mathematics: Gödel's Theorem and Around (Edition 2013) 

      Podnieks, Karlis (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.
    • What is Mathematics: Gödel's Theorem and Around (Edition 2015) 

      Podnieks, Karlis (2015-01-25)
      Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
    • Вокруг теоремы Геделя 

      Podnieks, Karlis (Рига: Зинатне, 1992)
      Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического ...
    • Вокруг теоремы Геделя 

      Podnieks, Karlis (Latvia State University, 1981)
      Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. ...