Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report RUU-CS-86-15

select other reports

report

techrep_id file title / author
RUU-CS-86-15 pdf How to prove the first and second incompleteness theorem using concatenation
A. Visser and O. de Moor and M.J. Walsteijn

indexed authors

author group
Moor, dr. O. de all reports Software Technology all reports

BibTeX entry

@TECHREPORT{RUUCS8615,
author = {Visser, A. and Moor, O.~de and Walsteijn, M.J.},
year = 1986,
title = {How to prove the first and second incompleteness theorem using concatenation},
number = {RUU-CS-86-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-15.pdf}},
pubcat = {techreport}
}