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

Introduction to Logic
by Michal Walicki

Publisher: University of Bergen 2006
Number of pages: 179

This text is an introduction to mathematical logic: the compendium with the whole syllabus and an extensive section on the history of logic. The author covers the basic set theory, Turing machines, statement logic, and predicate logic.

Home page url

Download or read it online here:

Download link

 (4.1MB, PDF)