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


by Jan Wolenski

Publisher: ESSLLI 2002
Number of pages: 35

The course is intended to provide the basic information about the metatheory of formal system. It will start with a brief information about propositional calculus and first-order logic. Then, fundamental theorems about elementary logic will be stated and proved.

Home page url

Download or read it online here:

Download link

 (270KB, PDF)