面向计算机科学的数理逻辑

作者：陆钟万著

出版社：北京大学出版社

出版时间：1989-11-01

ISBN：9787301008287

定价：¥1.95