Download WordPress Themes, Happy Birthday Wishes
Home » Mathematics » Introduction to Mathematical Logic

Introduction to Mathematical Logic

  • 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:

Introduction to Mathematical Logic

READ  Mathematics for Classical Information Retrieval: Roots and Applications

Leave a Reply

Your email address will not be published. Required fields are marked *



Check Also

Abstract Algebra A Study Guide for Beginners 2nd Edition

Read and download free Book intituled Abstract Algebra A Study Guide for Beginners 2nd Edition in format PDF written by John A. Beach.