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

Formal Logic

Formal Logic

Publisher: Wikibooks 2009

An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. Formal Logic is a study of inference with purely formal content. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital to many modern disciplines like Linguistics and Computer Science.

Home page url

Download or read it online here:

Read online

 (online html)