名古屋大学附属図書館




1

Choice sequences

by A.S. Troelstra. -- University of Amsterdam. Mathematisch Instituut, 1974. -- (Report ; 74-15).