数理逻辑导论 : 一阶逻辑与一阶理论 | 四川大学图书馆

数理逻辑导论 : 一阶逻辑与一阶理论

作者
邓生庆
出版社
成都科技大学出版社
ISBN
7-5616-1887-5
索书号
O141/7720
语种
chi
书目记录号
652375
书目库代码
SCU01
编号
784186
出版年
1993