1. Abramsky, S., Jung, A.: Domain Theory. Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Oxford University Press (1994)
2. Avigad, J., Feferman, S.: Gödel’s Functional (“Dialectica”) Interpretation. Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 337–405 (1998)
3. Bartle, R.G.: Nets and filters in topology. Am. Math. Monthly 62, 551–557 (1955)
4. Benacerraf, P., Putnam, H.: Philosophy of Mathematics: Selected Readings, 2nd edn. Cambridge University Press, Cambridge (1984)
5. Bernays, P.: Sur le Platonisme Dans les Mathé matiques. L’Enseignement Mathématique 34, 52–69 (1935)