This book has as starting point the courses of mathematical logic given by the authors at the faculty of Mathematics and Computer Science of the University of Bucharest and at the faculty of Economic Cybernetics, Statistics and Computer Science, Economic Computer Science specialization, of the Academy of Economic Studies in Bucharest, respectively.
Its principal goal is to present some basic themes of classical mathematical logic, with two truth values, but also of the algebra of this logic. The text covers the curriculum of the two courses, but treats also some more difficult subjects.
The book has 10 chapters, divided into 5 parts: Part I: Classical mathematical logic (non-formalized presentation)(1. Propositional calculus (non-formalized presentation), 2. Predicates calculus (non-formalized presentation)); Part II: Boolean algebras (3. Lattices, 4. Boolean algebras); Part III: Elements of set theory (5. Boolean algebra of sets, 6. Relational algebra of relations); Part IV: Classical mathematical logic (formalized presentation)(7. The formal system of propositional calculus, 8. The formal system of predicate calculus); Part V: Classical mathematical logic and probabilities (9. Probabilities on Boolean algebras, 10. Probabilistic models of predicate calculus).
The book is addressed to the students of the faculties of mathematics and computer science, of economic computer science, of filosophy, of the faculties with technical profile etc., as well as to all readers interested in mathematical logic.