ICM'98

Section 1: Logic

Model theory. Set theory and general topology. Recursion. Logics. Proof theory. Applications.
Connections with sections 2, 3, 13, 14


ICM'98 homepage

Please send suggestions and corrections to: helmberg@zib.de
Last modified: February, 1998