B. Jack Copeland (2015):
The Church-Turing Thesis.
In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy,
summer 2015 edition.
Nachum Dershowitz & Yuri Gurevich (2008):
A natural axiomatization of computability and proof of Church's Thesis.
Bulletin of Symbolic Logic 14(03),
pp. 299–350,
doi:10.2178/bsl/1231081370.
P. Gabriel & F. Ulmer (1971):
Lokal präsentierbare Kategorien.
Lecture Notes in Mathematics 221.
Springer-Verlag.
Robert. Goldblatt (1979):
Topoi, the categorial analysis of logic.
North-Holland.
Joel David Hamkins & Andy Lewis (2000):
Infinite time Turing machines.
J. Symbolic Logic 65(2),
pp. 567–604,
doi:10.2307/2586556.
J.E. Hopcroft, R. Motwani & J.D. Ullman (2001):
Introduction to Automata Theory, Languages, and Computation.
Addison-Wesley series in computer science.
Addison-Wesley.
Available at https://books.google.com.br/books?id=omIPAQAAMAAJ.
Peter Johnstone (1979):
Automorphisms of Ω.
Algebra Universalis 9(1).
P. T. Johnstone (1977):
Topos Theory.
Academic Press.
A. Kock, P. Lecouturier & C. J. Mikkelsen (1975):
Model Theory and Topoi: A Collection of Lectures by Various Authors, chapter Some topos theoretic concepts of finiteness.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 209–283,
doi:10.1007/BFb0061297.
Michael. Machtey & Paul Young (1978):
An introduction to the general theory of algorithms.
North-Holland.
Colin McLarty (1992):
Elementary categories, elementary toposes.
Oxford University Press.
H. Rogers (1987):
Theory of Recursive Functions and Effective Computability.
MIT Press.
Stewart Shapiro (2011):
Varieties of pluralism and relativism for logic.
A companion to relativism,
pp. 526–552,
doi:10.1002/9781444392494.ch27.
Wilfried Sieg (2008):
Church Without Dogma: Axioms for Computability.
In: S.Barry Cooper, Benedikt Löwe & Andrea Sorbi: New Computational Paradigms.
Springer New York,
pp. 139–152,
doi:10.1007/978-0-387-68546-5_7.
R. Squire.
Appears as private communication in many references in many articles. We used as reference the Master dissertation of Peter Arndt, Universidade de Campinas, Departamento de Filosofia, 2005.
Alfred Tarski (1924):
Sur les ensembles finis.
Fundamenta Mathematicae 6,
pp. 45–95.