上传者: stonesa
|
上传时间: 2022-06-11 12:23:19
|
文件大小: 3.72MB
|
文件类型: PDF
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)