STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE

下载此书RAR压缩包在线购买PDF电子书

VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY

下载此书RAR压缩包在线购买PDF电子书

SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409

MANAGEMENT HANDBOOK OF COMPUTER USAGE

下载此书RAR压缩包在线购买PDF电子书

R K SACHDEVA1990 年出版291 页ISBN：0850127696

COMPUTER ANALYSIS OF STRUCTURAL SYSTEMS

下载此书RAR压缩包在线购买PDF电子书

JOHN F.FLEMING1989 年出版574 页ISBN：0070213011

STANDARDIZED DEVELOPMENT OF COMPUTER SOFTWARE

下载此书RAR压缩包在线购买PDF电子书

ROBERT C.TAUSWORTHE2222 年出版379 页ISBN：0138421951

COMPUTER MODELING OF PHASE DIAGRAMS

下载此书RAR压缩包在线购买PDF电子书

L.H.BENNETT1986 年出版419 页ISBN：0873390199

Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979

下载此书RAR压缩包在线购买PDF电子书

1979 年出版580 页ISBN：3540095268

Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977

下载此书RAR压缩包在线购买PDF电子书

1977 年出版596 页ISBN：3540083537

Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976

下载此书RAR压缩包在线购买PDF电子书

1976 年出版606 页ISBN：3540078541

Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989

下载此书RAR压缩包在线购买PDF电子书

1989 年出版605 页ISBN：3540514864