Generalizations of proofs (1987)

by Jan Krajcek
Venue:In Proc. Fifth Easter Conference on Model Theory, Seminarberichte #93