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

Metalogic

Metalogic
by Jan Wolenski

Publisher: ESSLLI 2002
Number of pages: 35

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