Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Mathematical Logic

Theories

3

Proof Theory

The study of proof theory.

Model Theory

The study of model theory.

Recursion Theory

The study of recursion theory.