Logic for the mathematical practice. Formal theories and the deduction calculi.
Type theory. The problem of consistency. First order number theory. Recursive functions. The incompleteness theorems.
Hilbert tenth problem and its solution.