∞ This book is printed on acid-free paper. Sponsoring Editor Production Editor Editorial Coordinator Marketing Manager Cover Design Copyeditor Composition Printerīarbara Holland Julie Bolduc Karen Frost Marianne Rutter Judy Arisman, Arisman Design Kristin Landon Interactive Composition Corporation The Maple-Vail Book Manufacturing Group Enderton University of California, Los AngelesĪ Harcourt Science and Technology Company San Diego New York Boston London Toronto Sydney Tokyo A Mathematical Introduction to Logic Second Edition Herbert B.