Courses 1963-64, 1968-1970, 1972-present:

Intuitionistic Logic 2016/17

Formal Learning Theory 2012/13

Computational Learning Theory

Constructivism

Incompleteness Theorems

Intensional logic

Formal Learning Theory

Formalized Arithmetic

Godel-Escher-Bach

Intuitionistic Logic

Logic and Conversation

Logic and Philosophy of Language

Model Theory

Philosophical Logic

Philosophy of Mathematics

Proof Theory

Provability Logic

Recursion Theory

Semantics of Programs.

Introduction to Logic for artificial intelligence, computer science, mathematics, medical informatics, philosophy, master of logic.

Practice sessions: logic, calculus/analysis and linear algebra (for chemistry, pharmacy, mathematics, physics), set theory (for mathematics).