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
Professional Assembly Language Professional Assembly Language
2022-06-10 17:11:30
1.79MB
1
The Art of Multiprocessor Programming 读书笔记
2022-06-10 08:50:43
1.09MB
1
The C++ Programming Language中文版(全)
C++程序设计语言(特别版) (全)
在这里下载个,是部分的,所以传了个完整版的
2022-06-09 22:29:28
15.8MB
1