Logikkalküle - Richter, Michael M. 1938-2020 (Leitfäden der angewandten Mathematik und Mechanik, 1978)