NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic (1991 Banff, Alta.)