Ordinal analysis and the infinite Ramsey theorem
Bahareh Afshari and Michael Rathjen
Book Title
CiE
Editor
S.B. Cooper‚ A. Dawar and B. Löwe
Pages
1–10
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7318
Year
2012
Bahareh Afshari and Michael Rathjen