Shoenfield is Gödel after Krivine (2007)

by T Streicher, U Kohlenbach
Venue:Math. Log. Quart