Branches History Index

◀ ▲ ▶Branches / Logic / Part: Proof Theory

Part: Proof Theory

(no contents provided yet)

Table of Contents

  1. Chapter: Putting it All Together - Syntax and Semantics of a Logical Calculus
  2. Chapter: Classifying the Logical Calculi - Variables, Formulas, Predicates and Signatures

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs