应用逻辑中的数学问题

Main Authors: 英 加贝 Gabbay, Dov M. ((英)D.M.加贝，(俄)S.S.贡恰罗夫，(美)M.扎哈里扬谢夫编); 俄 贡恰罗夫 Goncharov, Sergey; 美 扎哈里扬谢夫 Zakharyaschev, Michael
Group Author: 陈晓华 (译); 刘张华 (译)
Published: 科学出版社
Publication Dates: 2020
Call Number: B812/4078