まず、入手した洋書から。
- Katalin Bimbó Combinatory Logic: Pure, Applied and Typed, CRC Press, Discrete Mathematics and Its Applications Series, 2011
次に論文。
- Solomon Feferman ''A Language and Axioms for Explicit Mathematics,'' in J. N. Crossley ed., Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Springer-Verlag, Lecture Notes in Mathematics, vol. 450, 1975.
- Ditto ''Constructive Theories of Functions and Classes,'' in Maurice Boffa, Dirk van Dalen, and Kenneth McAloon ed., Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978, North-Holland, Studies in Logic and the Foundations of Mathematics, vol. 97, 1979
- E. Specker ''Paul Bernays,'' in Maurice Boffa, Dirk van Dalen, and Kenneth McAloon ed., Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978, North-Holland, Studies in Logic and the Foundations of Mathematics, vol. 97, 1979
- Leonard Linsky ''Reference, Essentialism, and Modality,'' in: The Journal of Philosophy, vol. 66, no. 20, 1969
- Gerhard Jäger, Reinhard Kahle, and Thomas Studer ''Universes in Explicit Mathematics,'' in: Annals of Pure and Applied Logic, vol. 109, no. 3, 2001
- Reinhard Kahle ''Universes over Frege Structures,'' in: Annals of Pure and Applied Logic, vol. 119, nos. 1-3, 2003
そして和書。