Title: The logic book
First published: 1990