@book{ Solr-27925, title = {Logikkalküle}, series = {Leitfäden der angewandten Mathematik und Mechanik ;}, author = {Richter, Michael M.}, editor = {Richter, Michael M.}, address = {Stuttgart}, publisher = {Teubner}, year = {1978}, note = {Includes index}, note = {deutsch}, }