相关推荐
更多>
数理逻辑与机器证明
作者：陆钟万（著）
馆藏单位：浙江大学
出版时间：1983-11
资源类型：当代图书
有趣的数理逻辑
作者：何普恒；唐继无
馆藏单位：复旦大学
出版时间：1984.7
资源类型：当代图书
数理逻辑初步
作者：莫绍揆（著）
馆藏单位：浙江大学
出版时间：1980-08
资源类型：当代图书
