Models and ultra-products: an introduction (1969)

by J-L Bell, A-B Slomson