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