On the automorphisms behind the Gitik -- Koepke model. In:
Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch.
College publications, London, 2014, SeriesTributes, Vol. 23, pp. 229--253
Перейти к публикации
Авторы: Kanovei V. |