Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Publisher: Springer
Published: 1965-01-01
ISBN-13: 9783540033509