Logic and philosophy of mathematics (logical methods in philosophy, proof-theory and its applications, computation theory).