Collegium logicum. Volume 1., Annals of the Kurt-Gödel-Society. (Springer-Verlag, 1995)