Kurt Gödel or Mathematical Logic

      

Kurt Gödel Society

kgs@logic.tuwien.ac.at

http://www.logic.tuwien.ac.at/kgs/home.html

Alexander Leitsch

leitsch@logic.tuwien.ac.at

      

Matthias Baaz

baaz@logic.tuwien.ac.at

Martin Goldstern

goldstern@tuwien.ac.at