Sciweavers

Share

Book

Introduction to Logic

10 years 4 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
Added 17 Dec 2008
Updated 14 Feb 2009
Authors Micha l Walicki

Table of Contents

The History of Logic
PART I Basic Set Theory
Sets, Functions, Relations
Induction
PART II Turing Machines
PART III Statement Logic
Syntax and Proof System
Semantics of SL
Soundness and Completeness
PART IV Predicate Logic
Syntax and Proof System of FOL
Semantics
More Semantics
Soundness, Completeness
Identity and some Consequences
 
Comments (0)
books