Logic for computer science (1987)

by J H Gallier