| dc.contributor.author | Podnieks, Karlis | |
| dc.date.accessioned | 2017-05-24T13:08:04Z | |
| dc.date.available | 2017-05-24T13:08:04Z | |
| dc.date.issued | 2017-05-24 | |
| dc.identifier.citation | Vilnis Detlovs, Karlis Podnieks. Introduction to Mathematical Logic (Edition 2017). University of Latvia, Riga, 2017, 237 pp. | en_US |
| dc.identifier.uri | https://dspace.lu.lv/dspace/handle/7/34986 | |
| dc.description | Hyper-textbook for students in mathematical logic, Edition 2017 | en_US |
| dc.description.abstract | 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 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.iso | eng | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | logic | en_US |
| dc.subject | mathematical logic | en_US |
| dc.subject | propositional logic | en_US |
| dc.subject | predicate logic | en_US |
| dc.subject | constructive logic | en_US |
| dc.subject | intuitionistic logic | en_US |
| dc.subject | first order logic | en_US |
| dc.subject | completeness theorem | en_US |
| dc.subject | model theory | en_US |
| dc.subject | normal forms | en_US |
| dc.subject | resolution | en_US |
| dc.subject | resolution method | en_US |
| dc.subject | Herbrand theorem | en_US |
| dc.title | Introduction to Mathematical Logic (Edition 2017) | en_US |
| dc.type | info:eu-repo/semantics/book | en_US |
