|
题名:
|
面向计算机科学的数理逻辑 / (德) 迈克尔·休斯(Michael Huth), (英) 马克·莱恩(Mark Ryan)著 , |
|
ISBN:
|
978-7-111-77068-8 价格： 99.00 |
|
出版发行:
|
出版地： 出版社： 机械工业出版社 出版日期： 2025—02 |
|
中图分类法:
|
O141@v5 版次： |