1. Beeson, M.: Foundations of Constructive Mathematics. Springer, Berlin (1985)
2. Bencievenga, E., Lambert, K., van Fraassen, B.: Logic, Bivalence, and Denotation, 2nd edn., Ridgeview, Atascadero, California (1991)
3. Boolos, G.S., Jeffrey, R.C.: Computability and Logic. Cambridge University Press, Cambridge (1974)
4. Burge, T.: Truth and singular terms. In: [18] (1991)
5. Farmer, W.M.: Reasoning about partial functions with the aid of a computer. Erkenntnis 43, 279–294 (1995)