面向计算科学的数理逻辑

作者：陆钟万著

出版社：北京大学出版社

出版时间：1989-11-01

ISBN：9787301008287

定价：¥3.30