Book

Introduction to Logic

by Michael Genesereth, Eric Kao