ECTS - University of Pisa

Mathematical Logic

Code 064AA
Credits 6

Learning outcomes

First order logic. Godel's incompleteness theorems. Decidability and undecidability.