MISC

2023年10月

Towards proof-theoretic semantics for second-order logic

to be submitted, 56 pages
  • Ryota Akiyoshi
    • ,
  • Alberto Naibo
エクスポート
BibTeX RIS
MISCリストへ