Show simple item record

dc.contributor.authorPodnieks, Karlis
dc.date.accessioned2017-05-24T13:08:04Z
dc.date.available2017-05-24T13:08:04Z
dc.date.issued2017-05-24
dc.identifier.citationVilnis Detlovs, Karlis Podnieks. Introduction to Mathematical Logic (Edition 2017). University of Latvia, Riga, 2017, 237 pp.en_US
dc.identifier.urihttps://dspace.lu.lv/dspace/handle/7/34986
dc.descriptionHyper-textbook for students in mathematical logic.en_US
dc.description.abstractHyper-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 independence. Interpretations, models and completeness theorems. Normal forms, skolemization and resolution method. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).en_US
dc.language.isoengen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectlogicen_US
dc.subjectmathematical logicen_US
dc.subjectpropositional logicen_US
dc.subjectpredicate logicen_US
dc.subjectconstructive logicen_US
dc.subjectintuitionistic logicen_US
dc.subjectfirst order logicen_US
dc.subjectcompleteness theoremen_US
dc.subjectmodel theoryen_US
dc.subjectnormal formsen_US
dc.subjectresolutionen_US
dc.subjectresolution methoden_US
dc.subjectHerbrand theoremen_US
dc.titleIntroduction to Mathematical Logic (Edition 2017)en_US
dc.typeinfo:eu-repo/semantics/booken_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record