1
Published 1990
Springer London
Subjects: ...Computer logic...