About the Kurt Gödel Research Center for Mathematical Logic

Robert Polster

A glimpse into our work and activities