synchronous
发表于 2025-3-30 10:18:44
he encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only 978-1-4612-6619-8978-1-4612-0115-1
commodity
发表于 2025-3-30 15:51:39
http://reply.papertrans.cn/43/4216/421567/421567_52.png
支形吊灯
发表于 2025-3-30 18:25:56
http://reply.papertrans.cn/43/4216/421567/421567_53.png