Welcome to E-Books Directory
This is a freely downloadable e-book.
Metalogic by Jan Wolenski
Read this book online or download it here for free
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.