1
by Katona, Gyula
Published 1972
Springer Vienna
Subjects: ...Computer Science Logic and Foundations of Programming...