Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Hans Hermes; Heinz Gumin Archiv für mathematische Logik und Grundlagenforschung