Modal deduction in second-order logic and set theory. part i

Authors
Publication date 1997
Journal Journal of Logic and Computation
Volume | Issue number 7 | 2
Pages (from-to) 251-265
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.1093/logcom/7.2.251
Permalink to this page
Back