Term logic with choice operator (e-book)
Hermes, Hans
Term logic with choice operator (e-book) - Berlin Springer 1970 - Lecture Notes in Mathematics (LNM) v.6 .
978-3-540-36203-6
Term logic with choice operator (e-book) - Berlin Springer 1970 - Lecture Notes in Mathematics (LNM) v.6 .
978-3-540-36203-6