Language, Proof and Logic
Language, Proof and Logic Language, Proof and Logic Second Edition Dave Barker-Plummer, Jon Barwise and John Etchemendy in collaboration with Albert Liu, Michael Murray and Emma Pease Copyright © 1999, 2000, 2002, 2003, 2007, 2008, 2011 CSLI Publications Center for the Study of Language and Information Leland Stanford Junior University First Edition 1999 Second Edition 2011 Printed in the United States 15 14 13 12 11 1 2 3 4 5 Library of Congress Cataloging-in-Publication Data Barker-Plummer, Dave. Language, proof, and logic. { 2nd ed. / Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease. p. cm. { Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. Includes index. ISBN 978-1-57586-632-1 (pbk. : alk. paper) 1. Logic. I. Barwise, Jon. II. Etchemendy, John, 1952- III. Barwise, Jon. Language, proof, and logic. IV. Title. BC71.B25 2011 160{dc23 2011019703 CIP 1 The acid-free paper used in this book meets the minimum requirements of the American National Standard for Information Sciences|Permanence of Paper for Printed Library Materials, ANSI Z39.48-1984. Acknowledgements Our primary debt of gratitude goes to our main collaborators on this project: Gerry Allwein and Albert Liu. They have worked with us in designing the entire package, developing and implementing the software, and teaching from and refining the text. Without their intelligence, dedication, and hard work, LPL would neither exist nor have most of its other good properties. In addition to the five of us, many people have contributed directly and in- directly to the creation of the package.
[Show full text]