Logic and Computation. Cambridge Tracts in Theoretical Computer Science (1987)

by L C Paulson
Venue:Computer Science