Karlis Podnieks
University of Latvia
Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. 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. Tableaux method. Resolution method. Herbrand's theorem.
Keywords mathematical logic  textbook  propositional logic  predicate logic  constructive logic  completeness theorems  tableaux method  resolution method
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Resolution Calculus for the First Order Linear Logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
A Predicate Extension of Real Valued Logic.Stefano Baratella - 2017 - Archive for Mathematical Logic 56 (5-6):585-605.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Bull's Theorem by the Method of Diagrams.Giovanna Corsi - 1999 - Studia Logica 62 (2):163-176.
Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.


Added to PP index

Total views
138 ( #78,225 of 2,455,132 )

Recent downloads (6 months)
52 ( #15,030 of 2,455,132 )

How can I increase my downloads?


My notes