Advanced Logic

Proof calculi, consistence and completeness.
Hilbert-style proof calculus.
Logical theories; completeness and incompleteness of a theory, decidability.
Theory of relations; equivalence and orderings.
Algebraic theories; groups, rings and fields.
Lattice theory, conceptual lattices.
Theories of arithmetic.
Gödel results; incompleteness theorems.
Theory of recursive functions and algorithms.
Intensional logics and Kripke semantics.