文档介绍：LANGUAGE,
PROOF AND
LOGIC
JON BARWISE & JOHN ETCHEMENDY
In collaboration with
Gerard Allwein
Dave Barker-Plummer
Albert Liu
SEVEN BRIDGES PRESS
7 7 NEW YORK • LONDON
Copyright © 1999
CSLI Publications
Center for the Study of Language and Information
Leland Stanford Junior University
03 02 01 00 99 5 4 3 2 1
Library of Congress Cataloging-in-Publication Data
Barwise, Jon.
Language, proof and logic / Jon Barwise and John Etchemendy ;
in collaboration with Gerard Allwein, Dave Barker-Plummer, and
Albert Liu.
p. cm.
ISBN 1-889119-08-3 (pbk. : alk. paper)
I. Etchemendy, John, 1952- II. Allwein, Gerard, 1956-
III. Barker-Plummer, Dave. IV. Liu, Albert, 1966- V. Title.
IN PROCESS
99-41113
CIP
Acknowledgements
Our primary debt of gratitude goes to our three main collaborators on this
project: Gerry Allwein, Dave Barker-Plummer, and Albert Liu. They have
worked with us in designing the entire package, developing and implementing
the software, and teaching from and re
ning the text. Without their intelli-
gence, dedication, and hard work, LPL would neither exist nor have most of
its other good properties.
In addition to the
ve of us, many people have contributed directly and in-
directly to the creation of the package. First, over two dozen programmers have
worked on predecessors of the software included with the package, both earlier
versions of Tarski’s World and the program Hyperproof, some of whose code
has been incorporated into Fitch. We want especially to mention Christopher
Fuselier, Mark Greaves, Mike Lenz, Eric Ly, and Rick Wong, whose outstand-
ing contributions to the earlier programs provided the foundation of the new
software. Second, we thank several people who have helped with the develop-
ment of the new software in essential ways: Rick Sanders, Rachel Farber, Jon
Russell Barwise, Alex Lau, Brad Dolin, Thomas Robertson, Larry Lemmon,
and Daniel Chai. Their contributions have improved the package in a