German Association for Mathematical Logic and for Basic Research in the Exact Sciences

From ConfIDent