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