Auflistung Mācību-metodiskie materiāli (DF) / Teaching Stuff Nach Schlagwort "Research Subject Categories::MATHEMATICS::Algebra, geometry and mathematical analysis::Mathematical logic"
Anzeige der Dokumente 1-1 von 1
-
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 ...