Welcome to E-Books Directory
This is a freely downloadable e-book.

Introduction to Mathematical Logic

Introduction to Mathematical Logic
by Vilnis Detlovs, Karlis Podnieks

Publisher: University of Latvia 2014
Number of pages: 240

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

Home page url

Download or read it online here:

Download link

 (1.1MB, PDF)