Term logic with choice operator
Hermes, Hans
Term logic with choice operator - Berlin Springer-Verlag 1970 - 55p. - Lecture notes in Mathematics 6 .
"Revised and enlarged translation of the German edition".
511.3 / H553.TL
Term logic with choice operator - Berlin Springer-Verlag 1970 - 55p. - Lecture notes in Mathematics 6 .
"Revised and enlarged translation of the German edition".
511.3 / H553.TL
