zbMath0663.01008MaRDI QIDQ3813782
Solomon Feferman
Publication date: 1988
zbMATH Keywords
recursion theory; ordinal logics; theory of ordinals
Mathematics Subject Classification ID
01A60: History of mathematics in the 20th century
68-03: History of computer science
Related Items