![](/img/cover-not-exists.png)
Galvin’s “Racing Pawns” Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle
Conidis, Chris, Greenberg, Noam, Turetsky, DanielVolume:
54
Year:
2013
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-1960488
File:
PDF, 359 KB
english, 2013