Browsing Mācību-metodiskie materiāli (DF) / Teaching Stuff by Author "Podnieks, Karlis"
Now showing items 1-7 of 7
-
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 2017)
Podnieks, Karlis (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
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 ... -
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)Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. ...