Log In

Provability Logic

Files

preprint234.pdf (986.92 KB)

Publication date

2004-11

Authors

Artemov, S.N.
Beklemishev, L.D.

Editors

Advisors

Supervisors

DOI

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository
Open Access logo

License

Abstract

Keywords

Citation

URI

https://dspace.library.uu.nl/handle/1874/26863