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)
2022-06-11 12:23:19
3.72MB
1
本书以适用于逻辑第一和第二课程的方法覆盖了一阶语言，对哲学，计算机科学，数学和语言学的本科生特别有用。
2022-06-10 22:33:29
2.54MB
1