Title: Aspects of incompleteness
First published: 1997
Subjects: Recursion theory, Incompleteness theorems, Bewijstheorie, Onvolledigheidsstelling, Recursie