-
中文图书1.数学与艺术:无穷的碎片 O1-05/1440
馆藏复本:5
可借复本:3 伊凡斯·彼得生著
上海教育出版社 2007
(0) 馆藏
-
中文图书2.Martin-Lof类型论程序设计导引 O24/8010
馆藏复本:5
可借复本:4 (瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著
南京大学出版社 2002
(0) 馆藏
馆藏复本:5
可借复本:3 伊凡斯·彼得生著
上海教育出版社 2007
(0) 馆藏
馆藏复本:5
可借复本:4 (瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著
南京大学出版社 2002
(0) 馆藏