Georg Kreisel
Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America. Provided by Wikipedia
1
Published: 1974
Superior document: Dissertationes mathematicae 118