Is Polynomial Time Choiceless?

Cham [u.a.] / Springer International Publishing (2015) [Contribution to a book, Contribution to a conference proceedings]

Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday ; ["Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015] / Lev D. Beklemishev (eds.)
Page(s): 193-209

Abstract

Authors

Authors

Grädel, Erich
Grohe, Martin

Identifier