Logic an Introduction
ISBN-13: 9780495404576