推理与证明：现代逻辑的技巧

作者：（日）内井〓七著；陈祖军等译

出版社：中国人民大学出版社

出版时间：1988-10-01

ISBN：9787300004082

定价：¥2.15