1
by Streicher, T.
Published 1991
Birkhäuser
...Progress in Theoretical Computer Science...