A course in bimodal provability logic / Albert Visser
mainEntity
A course in bimodal provability logic / Albert Visser
about
author
inLanguage
mainEntityOfPage
name
A course in bimodal provability logic
numberOfPages
publication
sameAs
label
A course in bimodal provability logic / Albert Visser