1
by Hoffmann, Norbert
Published 1984
Vieweg+Teubner Verlag
Subjects: ...Computer Science Logic and Foundations of Programming...