ANNUL
发表于 2025-3-30 10:32:49
http://reply.papertrans.cn/71/7048/704764/704764_51.png
Foregery
发表于 2025-3-30 16:01:39
http://reply.papertrans.cn/71/7048/704764/704764_52.png
aneurysm
发表于 2025-3-30 17:04:08
John A. Gracyropositional logics..The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation
flutter
发表于 2025-3-30 21:04:16
http://reply.papertrans.cn/71/7048/704764/704764_54.png
繁忙
发表于 2025-3-31 02:05:57
http://reply.papertrans.cn/71/7048/704764/704764_55.png
喃喃诉苦
发表于 2025-3-31 05:35:13
John A. Gracyd the applied method is original and interesting, they have not received the attention they deserve from the wider community of researchers in proof theory. In this paper we briefly recall the content of both papers. We focus on essential features of Yankov’s approach and provide comparisons with ot