ECTS - University of Pisa

Elements of Mathematical Logic

Code 050AA
Credits 6

Learning outcomes

First order logic. Formal systems. Completeness theorem.