Term logic with choice operator.
Edition: [1st English ed.]
Series: Lecture notes in mathematics, 6; Lecture notes in mathematics (Springer-Verlag) ;; 6.
Publisher: Springer-Verlag
Published: 1970
Place of publication: Berlin; New York
Language: eng
Number of pages: 55
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: p. 53.
Rev. and enl. translation of Eine Termlogik mit Auswahloperator.