Linked e-resources
Details
Table of Contents
Part I:The Basics
Introduction
Theorems and Proofs
Types of Theorems
Logical Foundations of Proofs
Types of Proofs Techniques
Part II: An Application
Formal System for PL
Formal System for FOL
Part III: Advanced Topics
You Do the Maths.
Introduction
Theorems and Proofs
Types of Theorems
Logical Foundations of Proofs
Types of Proofs Techniques
Part II: An Application
Formal System for PL
Formal System for FOL
Part III: Advanced Topics
You Do the Maths.