• Title Introduction to Mathematical Logic
• Author(s) Vilnis Detlovs, Karlis Podnieks
• Publisher: University of Latvia (2017-05-24)
• License(s): CC BY-NC-SA 1.0
• Paperback N/A
• eBook PDF (237 pages, 1.126 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)
• 2014 Edition
• The Mirror Site (1) - PDF
• The Mirror Site (1) - 2014 Edition - 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)