Logic for Computer Science (1987)

by J H Gallier