# Home Page

of Leszek Aleksander Ko³odziejczyk

I am a member of the Section of Mathematical Logic

at the Institute of Mathematics of the University of Warsaw.

### Contact information:

Leszek Ko³odziejczyk

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³y zwi±zane z zajêciami, które prowadzê b±d¼ prowadzi³em, mo¿na czasem znale¼æ tutaj.