Term logic with choice operator /
Hermes, Hans.
Term logic with choice operator / Hans Hermes. - 1st English ed. - Berlin ; New York : Springer-Verlag, 1970. - 55 p. ; 26 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 6 .
Rev. and enl. translation of Eine Termlogik mit Auswahloperator. Rev. and enl. translation of the first German edition
Bibliogr.: p. 53.
Logic, Symbolic and mathematical
Term logic with choice operator / Hans Hermes. - 1st English ed. - Berlin ; New York : Springer-Verlag, 1970. - 55 p. ; 26 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 6 .
Rev. and enl. translation of Eine Termlogik mit Auswahloperator. Rev. and enl. translation of the first German edition
Bibliogr.: p. 53.
Logic, Symbolic and mathematical