Cover Image

Term logic with choice operator.

Show other versions (2)
Bibliographic Details
Main Author: Hermes, Hans
Format: Book
Language:English
German
Published: Berlin, New York : Springer-Verlag, 1970.
Edition:[1st English ed.].
Series:Lecture notes in mathematics (Springer-Verlag) ; 6.
Subjects:
Logic, Symbolic and mathematical.
Description
Item Description:Revised and enl. translation of Eine Termlogik mit Auswahloperator.
Physical Description:55 pages ; 26 cm.
Bibliography:Bibliography: page 53.