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

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