MA 638 Mathematical Logic II

First order number theory; primitive and general recursive functions; arithmetization; Gödel’s incompleteness theorems; Tarski’s theorems; and syntax and semantics of second order theories.

Credits

3

Prerequisite

MA 637