On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)
スポンサーリンク
概要
著者
関連論文
- Conservative extensions in relevant implicational logics
- A Study on Substructural Logics with Restricted Exchange Rules, (2)
- A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)
- On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)