Eine Termlogik mit Auswahloperator
Publisher: Springer Berlin Heidelberg
Published: Jul 01, 1970
Format: paperback
Number of pages: 48
ISBN-13: 9783540048992
Notes: Source title: Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)