Logic and Computation (1982)

by L Paulson