|
|
Close Help | ||||||||||||||
Charles University in Prague
Faculty of Mathematics and Physics, Department of Algebra.
Partially also affiliated with the Institute of Mathematics AV CR.
Contact.
Bibliography.
Logic seminar (an archive page).
Fall schools, student logic seminar, past and current students, courses.
For prospective students and postdoctoral and senior visitors.
Proof complexity mailing list.
A brief professional cv.
