Germany) Frege Conference (2nd 1984 Schwerin