Preliminary notes on interpretability logic

Files

Preprint_no_29.pdf (9.6 MB)

Publication date

1988-01

Authors

Visser, A.

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

http://hdl.handle.net/1874/26292