全部
图书期刊
图书馆
- 重庆医药高等专科学校图书馆(1)
资源类型
- 图书(1)
馆藏地址
- 外文库(1)
书目库
- 外文图书(1)
出版社
- NORTH-HOLLAND PUB. CO. : SOLE DISTRIBUTORS FOR THE(1)
出版时间
- 1978.(1)
-
ALGEBRA OF PROOFS /
索书号：O1/S996
标准编码： 0720422868
出版信息：NORTH-HOLLAND PUB. CO. : SOLE DISTRIBUTORS FOR THE 1978. Amsterdam ; New York : New Yor
主题词： PROOF THEORY. CATEGORIES (MATHEMATICS)
外文图书
1 共有：1条记录