1
by Büchi, J. Richard
Published 1990
Springer New York
Subjects: '; ...Computer logic...