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