Home Page
of Leszek Aleksander Ko這dziejczyk


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

Contact information:

Leszek Ko這dziejczyk
Institute of Mathematics, University of Warsaw
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, mainly axiomatic theories of arithmetic (especially weak ones). I have also done some propositional proof complexity, some finite model theory (long ago!),
and have a general interest in connections between logic and computational complexity theory.

Publications:

You can find a list here, with most of the items available for download.

Teaching (in Polish):

Materia造 zwi您ane z zaj璚iami, kt鏎e prowadz b康 prowadzi貫m, mo積a czasem znale潭 tutaj.