Eine Termlogik mit Auswhloperator.
Material type:
TextSeries: Lecture notes in mathematics ; 6Publication details: Berlin, New York : Springer-Verlag, 1965.Description: 42 p. ; 30 cmSubject(s): DDC classification: - PF 164 H47
No physical items for this record
Includes bibliographical references (p. 40).
There are no comments on this title.
Log in to your account to post a comment.