南京工程学院

应用逻辑中的数学问题

责任者： ZAKHARYASCHEV MICHAEL  陈晓华  贡恰罗夫  GABBAY DOV M  加贝  刘张华  扎哈里杨谢夫  GONCHAROV SERGEY 

• 出版信息：科学出版社 / 2020
• ISBN：978-7-03-064635-4