电子图书

全部 [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

订购单位

中国科学院文献情报中心 [切换机构]
中国科学院所有订购单位

年份

主题词

语种

英语 148

所属数据库

elsevier电子图书 148

检索结果: 148

An Algebraic Approach to Non-Classical Logics

PISBN：9780720422641

出版时间：Pre 2007

作者：Helena Rasiowa

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Boole's Logic and Probability

PISBN：9780444879523

出版时间：Pre 2007

作者：Theodore Hailperin

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Lincos Design of a Language for Cosmic Intercourse

PISBN：9780444533937

出版时间：Pre 2007

作者：Hans Freudenthal

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Mathematical Logic in Latin America

PISBN：9780444854025

出版时间：Pre 2007

作者：A.I. Arruda,R. Chuaqui,N.C.A. Da Costa

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Model Theory

PISBN：9780444880543

出版时间：Pre 2007

作者：C.C. Chang,H.J. Keisler

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
On the Metamathematics of Algebra

PISBN：9780444533692

出版时间：Pre 2007

作者：Abraham Robinson

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Combinatory Logic

PISBN：9780720422085

出版时间：Pre 2007

作者：Haskell B. Curry,J. Roger Hindley,Jonathan P. Seldin

1浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Recursive Number Theory A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

PISBN：9780444533852

出版时间：Pre 2007

作者：R.L. Goodstein

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Rudiments of mu-Calculus

PISBN：9780444506207

出版时间：Pre 2007

作者：A. Arnold,D. Niwinski

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接
Southeast Asian Conference on Logic Proceedings of the Logic Conference Singapore, 1981

PISBN：9780444867063

出版时间：Pre 2007

作者：C.-T. Chong,M.J. Wicks

0浏览量

详细信息

馆际互借

查看订购单位

问图书管理员

点赞

收藏

原文链接