ECTS - University of Pisa

Proof theory

Code 218AA
Credits 6

Learning outcomes

Proof Theory: The formal notion of proof. Proof systems. Non-classical logics. Ordinal analysis.