A note on the interpretability logic of finitely axiomatized theories

Authors
Publication date 1990
Series Report, ML-90-07
Publisher Amsterdam: Institute for Language, Logic and Information, University of Amsterdam
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back