Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Linked e-resources

Details

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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export