An edition of Aspects of incompleteness (1997)
By Lindström, Per
Publish Date
1997
Publisher
Springer-Verlag
Language
eng
Pages
646
Description:
subjects: Recursion theory, Incompleteness theorems, Bewijstheorie, Onvolledigheidsstelling, Recursie