《MATHEMATICAL LOGIC IN COMPUTER SCIENCE》
| 作者 | 编者 |
|---|---|
| 出版 | NORTH-HOLLAND PUBLISHING COMPANY |
| 参考页数 | 758 |
| 出版时间 | 1981（求助前请核对） |
| ISBN号 | 0444854401 — 求助条款 |
| PDF编号 | 812531978（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1981《MATHEMATICAL LOGIC IN COMPUTER SCIENCE》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由 1981 NORTH-HOLLAND PUBLISHING COMPANY 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- A COURSE IN MATHEMATICAL LOGIC
- 1977 NORTH-HOLLAND PUBLISHING COMPANY-AMSTERDAM
-
- FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
- 1989 IEEE COMPUTER SOCIETY PRESS
-
- A course in mathematical logic
- 1977 Springer Verlag
-
- A course in mathematical logic
- 1977 North-Holland Pub. Co. sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.
-
- LECTURE NOTES IN COMPUTER SCIENCE 88 MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1980
- 1980 Springer-Verlag
-
- Mathematical logic for computer science Second Edition
- 1998 World Scientific Pub.Co
-
- Handbook of Logic in Computer Science Volume 1
- 1992 Chapter authors
-
- Handbook of Logic in Computer Science Volume 2
- 1992 Chapter authors
-
- Proceedings Eight Annual IEEE Symposium on Logic in Computer Science
- 1993 IEEE Computer Society Press
-
- Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
- 1989 Springer-Verlag
-
- Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
- 1976 Springer-Verlag
-
- Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
- 1979 Springer-Verlag
-
- Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
- 1977 Springer-Verlag
-
- Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
- 1982 Springer-Verlag
-
- Lecture Notes in Computer Science 363 Logic at Botik'89
- 1989 Springer-Verlag
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD