Title: Über mathematische Aussagen, die samt ihrer Negation nachweislich unbeweisbar sind
First published: 1977
Subjects: Proof theory, Incompleteness theorems
LC classification: QA9.54 .F7