Formal Proofs 章节 发表日期： 2024年 查看全文 David Marker 摘要 A formal proof system is introduced and deductions in this system are studied.
