3520
Hermes, Hans
Term logic with choice operator
Berlin; New York
Springer-Verlag
1970
55p
Lecture notes mathematic, 6
Rev.and enl. translation of Eine Termlogik mit Auswahloperator
Bibliography: p. 53
]1st English ed.[
، Logic, Symbolic and mathematical
QA
3
.
L28
no
.
6
AU
TI
SE Lecture notes in mathematics )Berlin(, 6
CL
