Models and Computability nidottuEnglanti, 1999