Processing ......
FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.
 
Introduction to Mathematical Logic
For Weather, Flights, Runways of Airports all over the world, click here.
  • 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).

About the Authors
  • N/A

Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
Other Categories
Resources and Links