Logic for computer science (1986)

by J H Gallier