Processing ......
Links to Free Computer, Mathematics, Technical Books all over the World
Introduction to Mathematical Logic
News, News, News - the one place to read news all over the world. Mobile App too.
  • 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).

About the Authors
  • Karlis Podnieks is a Professor and Faculty of Computing at University of Latvia.
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
Other Categories
Resources and Links