Steven Awodey (1997):
Logic in topoi: Functorial Semantics for Higher-Order Logic.
The University of Chicago.
Douglas Bridges & Fred Richman (1987):
Varieties of Constructive Mathematics.
Lecture note series.
Cambridge University Press,
doi:10.1017/cbo9780511565663.
Thierry Coquand, Henri Lombardi & Claude Quitté (2010):
Curves and coherent Prüfer rings.
J. Symb. Comput. 45(12),
pp. 1378–1390,
doi:10.1016/j.jsc.2010.06.016.
Michel Coste, Henri Lombardi & Marie-Françoise Roy (2001):
Dynamical method in algebra: effective Nullstellensätze.
Annals of Pure and Applied Logic 111(3),
pp. 203 – 256,
doi:10.1016/S0168-0072(01)00026-4.
Jean Della Dora, Claire Dicrescenzo & Dominique Duval (1985):
About a new method for computing in algebraic number fields.
In: Bob Caviness: EUROCAL '85,
Lecture Notes in Computer Science 204.
Springer Berlin / Heidelberg,
pp. 289–290,
doi:10.1007/3-540-15984-3_279.
A. Fröhlich & J. C. Shepherdson (1956):
Effective Procedures in Field Theory.
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences 248(950),
pp. 407–432,
doi:10.1098/rsta.1956.0003.
Peter T. Johnstone (2002):
Sketches of an Elephant: A Topos Theory Compendium - Volume 2.
Oxford Logic Guides 44.
Oxford University Press.
John F. Kennison (1982):
Separable algebraic closure in a topos.
Journal of Pure and Applied Algebra 24(1),
pp. 7 – 24,
doi:10.1016/0022-4049(82)90055-X.
Henri Lombardi & Claude Quitté (2011):
Algèbre Commutative, Méthodes Constructives.
Mathématiques en devenir.
Calvage et Mounet.
Saunders MacLane & Ieke Moerdijk (1992):
Sheaves in Geometry and Logic: A First Introduction to Topos Theory,
corrected edition.
Springer,
doi:10.1007/978-1-4612-0927-0.
Michael Makkai & Gonzalo E. Reyes (1977):
First order categorical logic: model-theoretical methods in the theory of topoi and related categories.
Lecture notes in mathematics 611.
Springer-Verlag,
doi:10.1007/BFb0066201.
Per Martin-Löf (1972):
An intuitionistic theory of types.
Reprinted in Twenty-five years of constructive type theory, Oxford University Press, 1998, 127–172.
Ray Mines, Fred Richman & Wim Ruitenburg (1988):
A course in constructive algebra.
Universitext (1979).
Springer-Verlag,
doi:10.1007/978-1-4419-8640-5.
Andrej Ščedrov (1984):
Forcing and classifying topoi.
Memoirs of the AMS 48.
American Mathematical Society (AMS),
doi:10.1090/memo/0295.