Language, Proof and Logic外文书.pdf

LANGUAGE, PROOF AND LOGIC JON BARWISE & JOHN ETCHEMENDY In collaboration with Gerard Allwein Dave Barker-Plummer Alber t Liu 7 7 SEVEN BRIDGES PRESS 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 Alber t 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