An inside view of EXP or the closed fragment of the provability logic of ΙΔo+Ω₁ with a propositional constant for EXP
Publication date
1989
Authors
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Research paper
Metadata
Show full item recordCollections
