Peano's smart children. A provability logical study of systems with built-in consistency

Files

Preprint_no_14.pdf (9.69 MB)

Publication date

1986-10

Authors

Visser, A.

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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