|
|
Close Help | ||||||||||||||
Affiliations: the Academy of Sciences and the Charles University.
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.
