Bolzano-Symposion "Bolzano als Logiker" Am 17. u. 18. Dez. 1973, Anläßl. d. 125. Todestages Bernard Bolzanos (Veröffentlichungen der Kommission für Geschichte der Mathematik und der Naturwissenschaften, 1974)