Introduction to Logic

Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.

• Authors: Micha l Walicki
• Keywords: Completeness, First Order Logic, Functions, Propositional Logic, Reasoning Systems, Relations, Semantics, Sets, Soundness, Turing Machines, Well-founded Induction