A note on the interpretability logic of finitely axiomatized theories

Open Access
Authors
Publication date 1991
Journal Studia Logica
Volume | Issue number 50 | 50
Pages (from-to) 241-250
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Downloads
Permalink to this page
Back