Preliminary notes on interpretability logic / Albert Visser
mainEntity
Preliminary notes on interpretability logic / Albert Visser
about
author
inLanguage
mainEntityOfPage
name
Preliminary notes on interpretability logic
numberOfPages
publication
sameAs
label
Preliminary notes on interpretability logic / Albert Visser