Analysis and logic - Henson, C. W (London Mathematical Society lecture note series, 2002)