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

作者：陆钟万著

出版社：科学出版社

出版时间：1998-01-01

ISBN：9787030060655

定价：¥17.50