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.
In the academic year 2011/12, I am visiting the Department of Mathematics
of the University of California, San Diego.
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
finite model theory, 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.