Welcome guest
You're not logged in.
314 users online, thereof 0 logged in

Proof Theory

(no text body provided yet)

| |

1.Putting it All Together - Syntax and Semantics of a Logical Calculus

2.Classifying the Logical Calculi - Variables, Formulas, Predicates and Signatures

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:


Bibliography (further reading)