How to prove the first and second incompleteness theorem using concatenation
Publication date
1986
Authors
Visser, E.
de Moor, O.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Visser, E & de Moor, O 1986, How to prove the first and second incompleteness theorem using concatenation. vol. 86-15, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-86-15.html >