• Title Introduction to Mathematical Logic
• Author(s) Vilnis Detlovs, Karlis Podnieks
• Publisher: University of Latvia (2021)
• License(s): CC BY-NC-SA 1.0
• Paperback N/A
• eBook PDF (260 pages, 1.217 MB)
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

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).

• Karlis Podnieks is a Professor and Faculty of Computing at University of Latvia.

• Amazon

• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Theory of Computation and Computing
• Artificial Intelligence, Machine Learning, and Logic Programming
• Discrete Mathematics

• Introduction to Mathematical Logic (Vilnis Detlovs, et al)
• The Mirror Site (1) - PDF

• A Friendly Introduction to Mathematical Logic (Christopher C. Leary)
• A Problem Course in Mathematical Logic (Stefan Bilaniuk)
• A Concise Introduction to Mathematical Logic (Wolfgang Rautenberg)
• Incompleteness and Computability: An Open Introduction to Gödel's Theorems (Richard Zach)