Preliminary notes on interpretability logic

Publication date

1988-01

Authors

Visser, A.

Editors

Advisors

Supervisors

DOI

Document Type

Preprint
Open Access logo

License

Abstract

Keywords

Citation