期刊书目 › BOOKS with Alphabet A (Aa, Ab,Ac, Ad, Ae…... ) › Titlebook: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs; Ivo Düntsch,Edwin Mares Book 2022 Springer Nature Switzerl

Inertia 发表于 2025-4-1 02:18:07

http://reply.papertrans.cn/16/1523/152237/152237_61.png

amorphous 发表于 2025-4-1 08:26:24

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

石墨 发表于 2025-4-1 14:09:06

2211-2758beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russe978-3-030-71432-1978-3-030-71430-7Series ISSN 2211-2758 Series E-ISSN 2211-2766

轻触 发表于 2025-4-1 16:39:54

http://reply.papertrans.cn/16/1523/152237/152237_64.png

查看完整版本: Titlebook: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs; Ivo Düntsch,Edwin Mares Book 2022 Springer Nature Switzerl