R. Adams, An Early History of Recursive Functions and Computability: From Gödel to Turing, CreateSpace, 2011.

J. Boniface, The concept of number from Gauss to Kronecker The shaping of arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, pp.315-342, 2007.

A. Church, A Set of Postulates for the Foundation of Logic, The Annals of Mathematics, vol.33, issue.2, pp.346-366, 1932.
DOI : 10.2307/1968337

A. Church, A Set of Postulates For the Foundation of Logic, The Annals of Mathematics, vol.34, issue.4, pp.839-864, 1933.
DOI : 10.2307/1968702

B. Copeland, Computability Turing, Gödel, Church, and beyond, 2013.

M. Davis, The universal computer: the road from Leibniz to Turing, 2012.
DOI : 10.1201/b11441

R. Dedekind, Stetigkeit und irrationale Zahlen, 1872.
DOI : 10.1007/978-3-322-98548-4
URL : https://babel.hathitrust.org/cgi/imgsrv/download/pdf?id=hvd.32044091871699;orient=0;size=100;seq=7;attachment=0

R. Dedekind, Was sind und was sollen die Zahlen?, 1888.

J. Dhombres, Quelques aspects de l'histoire des ???quations fonctionnelles li???s ??? l'???volution du concept de fonction, Archive for History of Exact Sciences, vol.36, issue.2, pp.91-181, 1986.
DOI : 10.1007/BF00357273

J. Dhombres, Le r??le des ??quations fonctionnelles dans l'Analyse alg??brique de Cauchy, Revue d'histoire des sciences, vol.45, issue.1, pp.25-50, 1992.
DOI : 10.3406/rhs.1992.4230

G. Dowek, Les métamorphoses du calcul: une étonnante histoire des mathématiques, Pommier, 2011.

J. Ferreirós, ? ?E? ??ÌT????EÌ: The rise of pure mathematics as arithmetic with Gauss) The shaping of arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, pp.235-268, 2007.

. Frege, On a geometrical representation of imaginary forms in the plane, Collected Papers on Mathematics, Logic, and Philosophy, pp.1-55, 1873.

. Frege, Methods of calculation based on an extension of the concept of quantity, Collected Papers on Mathematics, Logic, and Philosophy, pp.56-92, 1874.

. Frege, Function and concept, Collected Papers on Mathematics, Logic, and Philosophy, pp.137-156, 1891.

. Frege, Function and concept, Collected Papers on Mathematics, Logic, and Philosophy, pp.285-292, 1904.

G. Frege, Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen: Dissertation zur Erlangung der venia docendi bei der philosophischen Fakultät in Jena, 1874.

G. Gabriel and W. Kienzler, Frege in Jena: Beiträge zur Spurensicherung, Kritisches Jahrbuch der Philosophie, 1997.

R. Gandy, The universal Turing machine. chap. The Confluence of Ideas in 1936, pp.51-102, 1995.

C. F. Gauss, Zur Metaphysik der Mathematik, XII, Varia. Atlas des Erdmagnetismus, pp.57-61, 1929.

H. Grassmann, Lehrbuch der Arithmetik für höhere Lehranstalten. Lehrbuch der Matematik für höhere lehranstalten, Th, Th. Chr. Fr. Enslin, vol.1, 1861.

R. Grassmann, Die Formenlehre oder Mathematik. Die Formenlehre oder, 1872.

D. Gronau, Gottlob Frege, a pioneer in iteration theory, Proceedings of the European Conference on Iteration Theory, ECIT94. Grazer Math. Ber, pp.105-119, 1997.

D. Gronau, Gottlob Freges Beiträge zur Iterationstheorie und zur Theorie der Funktionalgleichungen, Gottlob Frege?Werk und Wirkung. Mentis, 2000.

D. Gronau, A remark on Sincov's functional equation, Notices of the South African Mathematical Society, vol.31, issue.1, pp.1-8, 2000.

H. Hankel, Theorie der complexen Zahlensysteme Vorlsungen über die complexen Zahlen und Functionen, 1, 1867.

I. Kant, Critique of pure reason, 1998.

S. C. Kleene, Origins of Recursive Function Theory, IEEE Annals of the History of Computing, vol.3, issue.1, pp.52-67, 1981.
DOI : 10.1109/MAHC.1981.10004

H. Lotze, System der Philosophie, Erster Theil, Logik: Drei Bücher von Denken, vom Untersuchen und vom Erkennen, 1874.

P. Odifreddi, Classical recursion theory, 1989.

R. Péter, Recursive functions. Third revised edition, 1967.

B. Petri and N. Schappacher, On arithmetization The shaping of arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, pp.343-374, 2007.

B. Robi?, The foundations of computability theory, 2015.
DOI : 10.1007/978-3-662-44808-3

K. H. Schlote and U. Dathe, Die Anf??nge von Gottlob Freges wissenschaftlicher Laufbahn, Historia Mathematica, vol.21, issue.2, pp.185-195, 1994.
DOI : 10.1006/hmat.1994.1017
URL : http://doi.org/10.1006/hmat.1994.1017

E. Schröder, Ueber unendlich viele Algorithmen zur Aufl???sung der Gleichungen, Mathematische Annalen, vol.2, issue.2, pp.317-365, 1870.
DOI : 10.1007/BF01444024

E. Schröder, Ueber iterirte Functionen, Mathematische Annalen, vol.3, issue.2, pp.296-322, 1871.
DOI : 10.1007/BF01443992

E. Schröder, Lehrbuch der Arithmetik und Algebra fur Lehrer und Studirende, 1873.

W. Sieg, Abstract, Bulletin of Symbolic Logic, vol.I, issue.02, pp.154-180, 1997.
DOI : 10.1109/MAHC.1981.10004

R. I. Soare, The History and Concept of Computability, pp.3-36, 1999.
DOI : 10.1016/S0049-237X(99)80017-2

J. Tappenden, Metatheory and Mathematical Practice in Frege, Philosophical Topics, vol.25, issue.2, pp.213-264, 1997.
DOI : 10.5840/philtopics199725216

J. Tappenden, The Riemannian background to Frege's philosophy The architecture of modern mathematics. Essays in history and philosophy, 2006.

M. Wilson, Frege: The Royal Road from Geometry, No??s, vol.26, issue.2, pp.149-180, 1992.
DOI : 10.2307/2215733

M. Wilson, Postscript: A note on Frege's " methods of calculation, pp.149-159, 1995.

M. Wilson, Frege's mathematical setting) The Cambridge companion to Frege, pp.379-412, 2010.

L. Wittgenstein, Tractatus logico-philosophicus, 2001.