A fundamental problem of mathematical logic (1996)

by J Kraj'icek
Venue:Annals of the Kurt G"odel Society, Springer-Verlag, Collegium Logicum