《Proof theory and logical complexity》
作者 | 编者 |
---|---|
出版 | Bibliopolis |
参考页数 | 506 |
出版时间 | 1987(求助前请核对) |
ISBN号 | 8870881237 — 求助条款 |
PDF编号 | 813186388(仅供预览,未存储实际文件) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |

1987《Proof theory and logical complexity》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由 1987 Bibliopolis 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
-
- LOGICAL LEARNING THEORY
- 1994 UNIVERSITY OF NEBRASKA PRESS
-
- BIOLOGICAL COMPLEXITY AND INFORMATION
- WORLD SCIENTIFIC
-
- Coding and complexity
- 1977 Springer [in Komm.
-
- Studies in complexity theory
- 1986 Pitman; Wiley
-
- Complexity and structure
- 1985 Springer-Verlag
-
- Basic proof theory
- 1996 Cambridge University Press
-
- Proof theory
- 1977 SpringerVerlag
-
- Proof theory and automated deduction
- 1997 Kluwer Academic
-
- Logic programming operational semantics and proof theory
- 1992 Cambridge University Press
-
- Logical Semiotics and Mereology
- 1992 John Benjamins Publishing Company
-
- The Theory of Logical Types
- 1971 Routledge Tayor & Group
-
- Algebraic systems of equations and computational complexity theory
- 1992 Science Press
-
- Complexity Theory and the Social Sciences An Introduction
- 1998 Routledge
-
- INTRODUCTION TO LOGICAL THEORY
- 1963 UNIVERSITY PAPERBACKS
-
- Computational complexity theory
- 1989 American Mathematical Society
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD