Continuous Truth I Non-constructive Objects

180 M.P. FOURMAN
Freyd, Peter, Aspects of Topoi, Bull. Austral. Math. SOC., 7(1972), p.1-76.
Isbell, John, Atomless parts of spaces, Math. Scand., 31(1972), p.5-32.
Johnstone, Peter T., Topos Theory, (Acad. Press, London, 1977).
Johnstone, Peter T., Stone spaces, (Acad. Press, London, 1982).
Joyal, Andre, & Tierney, Myles, An extension of the Galois theory of Grothendieck,
preprint, 1982.
Kreise!, Georg, Lawless sequences of natural numbers.
p .222-48.
Comp. Math. 20(1968),
Makkai , Michael & Reyes, Gonzalo, First-Order Categorical Logic, (Lecture Notes
in Math. 611, Springer-Verlag, 1977).
Moschovakis, Joan R., A topological interpretation of second-order intuitionistic
arithmetic, Comp. Math., (3), 26( 1973), p.261-75.
Scott, Dana S., Extending the topological interpretation to intuitionistic
analysis, Comp. Math. 20(1968), 222-48.
Scott, Dana S., Identity and Existence in Intuitionistic Logic, Proc. Durham
Symposium, (ed. Fourman et al.) (Lecture Notes in Math. 753, Springer-Verlag,
1978) , p. 660-96.
Troelstra, Anne S., Choice Sequences, (Oxford University Press, 1977).
Wraith, Gavin C., Lectures on elementary topoi, Model theory and topoi, (ed.
Lawvere F.W. et al.), (Lecture Notes in Math. 445, Springer-Verlag. Berlin,
1975), p. 114-206.
Wright, Crispin, Wittgenstein's Philosophy of Mathematics, (Duckworth, 1981).