- Category: Mathematics
- Author: Vilnis Detlovs, Karlis Podnieks
- License: CC BY-NC-SA 1.0
- File type: PDF (237 pages, 1.126 MB)
Read and download free eBook intituled Introduction to Mathematical Logic in format PDF (237 pages, 1.126 MB) created by Vilnis Detlovs, Karlis Podnieks.
This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.
From the table of contents: References; 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
Read and Download Links: