2016年10月8日
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
The 3rd Asian Workshop on Philosophical Logic (AWPL 2016)
- 記述言語
- 英語
- 会議種別
- 口頭発表(一般)
- 開催地
- National Taiwan University, Taipei, Taiwan