ECTS - University of Pisa

Foundations of mathematics

Code 112AA
Credits 6

Learning outcomes

Formal systems and foundational theories.