The austere Home Page
of Leszek Aleksander Kołodziejczyk

I am a member of the Section of Mathematical Logic
at the Institute of Mathematics of Warsaw University.

Contact information:

Leszek Kołodziejczyk
Institute of Mathematics, Warsaw University
Banacha 2
02-097 Warszawa
Poland

phone: (+48) 022 55 44 518
e-mail: lak at mimuw dot edu dot pl

Research interests:

Mathematical logic, especially weak systems of arithmetic, finite model theory, and connections between logic and computational complexity theory.

Publications:

You can find a list here, along with downloadable versions of most of the items.

Teaching:

Some information about courses I teach or have taught can be found here (in Polish).