|
|
Close Help | ||||||||||||||
Affiliations: the Academy of Sciences and the Charles University.
Contact.
Bibliography.
University teaching , Student logic seminar, and Fall schools.
Logic seminar: the current page and an archive page.
Proof complexity mailing list.
A brief professional cv.
