1. Arbib, Michael A.[1987]. Brain, Machines and Mathematics. New York: Spring-Verlag, 1987.
2. Artigas, Mariano [1994]. El desafio de la racionalidad. Barcelona: EUNSA, 1994.
3. Barendregt, H.P. [1984]. The lambda calculus, its syntax and semantics. Amsterdan: Elsevier Science Publishers B.V., 1984.
4. Bell, E. T. [1937]. Men of Mathematics. New York: Simon & Schuster, Inc, 1937.
5. Berg, H.K. & Boebert, W.E & Franta, W.R. & Moher, T.G. [1982]. Formal methods of program verification and specification. New Jersey: Prentice-Hall, Inc., 1982.
6. Bochenski, J. M. [1966]. Historia de la logica formal. Madrid: Biblioteca Hispânica de Filosofia, 1966.
7. Bolter, J. David [1984]. Turing's man, western culture in the computer age. Carolina do Norte: Universidade da Carolina do Norte, 1984.
8. Boole, George [1984]. El analises matematico de la lógica. Madrid: Catedra, 1984.
9. Bowen, Jonathan P. [1994]. A brief history of algebra and computing: an ecletic oxonian view. Oxford: Librarian, Oxford University Computing Laboratory, 1994.
10. Boyer, Carl B. [1974]. História da Matemática. São Paulo: Edgard Blucher, 1974.
11. Brained, W. & Landweber [1974]. Theory of computation. New York: Wiley-Interscience Publication, 1974.
12. Burke, Peter [1992]. A escola dos annales, 1929-1989-A revolução francesa da historiografia. São Paulo: Editora UNESP, 1992.
13. Burke, Peter [1992]. A escrita da história-novas perspectivas. São Paulo: Editora UNESP, 1992.
14. Burks, A. W. [1951]. An intermediate program language as an aid in program synthesis. Engineering Research Institute, Report for Burroughs Adding Machine Company, 1951.
15. Burks, Arthur W. [1980]. From de ENIAC to the stored-program computer, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.
16. Casti, John L. [1997]. Five golden rules-great theories of 20th-century Mathematics and why they matter. Canadá: John Wiley Sons, Inc., 1997.
17. Coelho, Clarimar J. [1995]. Monografia: apresentação das bases teóricas para o desenvolvimento de um sistema de apoio a decisão utilizando resolução de equações booleanas. Goiás: Depto. Matemática e Física da Universidade de Goiás, 1995.
18. Coffa, J. Alberto Wessels [1991]. The semantic tradition from Kant to Carnap. Cambridge: Cambridge University Press, 1991.
19. Cohen, Daniel E. [1987]. Computabilty and logic. England: Ellis Horwood Series in Mathematics and Its Aplications, 1987.
20. Costa, Newton C. A. [1977]. Introdução aos fundamentos da Matemática. São Paulo: Editora Hucitec, 1977.
21. Dantzig, T. [1930|1954]. Number, the language of science. New York:Doubleday Anchor Books, 1954.
22. Encyclopedia Britannica [1979]. The New, Macropaedia. USA: Helen Hemingway Benton, 1979.
23. Encyclopedia Britannica [1979]. The New, Micropaedia. USA: Helen Hemingway Benton, 1979.
24. Fernandez, Luiz Soares [1985]. Historia Universal, Volume 1. Pamplona: Edições Universidade de Navarra, 1985.
25. Gates, Bill [1995]. A estrada do futuro. São Paulo: Companhia das Letras, 1995.
26. Goldstine, Herman H. [1972]. The computer from Pascal to von Neumann. New Jersey: Princeton University Press, 1972.
27. Gomes, Nelson Gonçalves. Lógica Matemática, Curso de Lógica da Faculdade de Filosofia da UnB, apostila para apontamentos de aula, 1997.
28. Gosling, James & McGilton, Henry [1995]. The Java language environment- a white paper. California: Sun Microsystems, Inc, 1995.
29. H.W.B., Joseph [1916|1930]. Introduction to Logic. Oxford: Clarendon Press, 1930.
30. Harrison, John, The history of formal logic. Revista Mathesis Universalis, 1996, no 2, Formalized Mathematics. Disponível na internet http://saxon.pip.com.pl/MatUniversalis/2/harrison/jrh03.html.
31. Hermes, Hans [1969]. Enumerability, decidability, computability-an introduction to the theory of recursive functions. New York: Springer-Verlag, 1969.
32. Horowitz, E. [1987]. Programming languages: a grand tour. Maryland: Computer Science Press, 1987.
33. Hurd, Cuthbert [1980]. Computer Development at IBM, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.
34. IEEE Computer Society, Edição comemorativa dos 50 anos da revista. Disponível na Internet, http://www.computer.org/50/history/1936-39.html.
35. Kahn, D. [1967]. The Code Breakers. New York: Macmillan, 1967.
36. Karlson, Paul [1961]. A magia dos números. Rio de Janeiro: Editora Globo, 1961.
37. Kneale, Willian & Kneale, Martha [1962|1968]. O desenvolvimento da lógica. Lisboa: Fundação Calouste Gulbenkian, 1968.
38. Knuth, D. E. & Pardo, L. T. [1980]. The early development of programming languages, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.
39. Knuth, D. E. [1976]. Ancient babylonian algorithms. in Comm. ACM 15, 671-677(1972); Errata, Comm. ACM 19, 108, 1976.
40. Knuth, D. E. [1969]. The Art of Computer Programming, volume 1. Massachusetts: Addison-Wesley, 1969.
41. Le Goff, Jacques & Nora, Pierre [1988]. História: novos problemas. Rio de Janeiro: Livraria Francisco Alves Editora, 1988.
42. Le Goff, Jacques [1994]. História e memória. Campinas: Editora da UNICAMP, 1994.
43. Lee, J. A. N., Relatório preparatório sobre o estudo da História da Computação, e propostas preliminares para inclusão de aspectos da História da Computação curriculum das universidades e colégios, apresentado no Grupo de Trabalho 9.7 (História da Computação), do IFIP (International Federation for Information Processing), 24 a 29 de julho de 1995.
44. Lee, John A. N. [1996]. Annals of the History of Computing, Volume 18, no 2. EUA: Institute of Electrical and Electronics Engineers, Inc., 1996.
45. Licklider, J.C.R. [1960]. Man-Computer Symbiosis. IRE Transactions on Human Factors in Electronics, volume HFE-1, 1960.
46. Lilley, S. [1945|1957]. Machinery in Mathematics, a historical survey of calculating machines. London: Discovery, 1945.
47. Linden, Peter van der [1996]. Just Java. California: The Sunsoft Press, 1996.
48. Lucchesi, C. L. & Simon, I. S. I. & Simon, J. & Kowaltowski, T. [1979]. Aspectos Teóricos da Computação. Rio de Janeiro: Livros Técnicos e Científicos S.A., 1979.
49. Lucena, Carlos J.P. [1982]. Análise e síntese de programas de computador. Brasília: Editora Universidade de Brasília, 1982.
50. May, Kenneth O. [1980]. Historiography: a perspective for computer scientists, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.
51. McCulloch , Warren & Pitts, Walter [1943]. A logical calculus of the ideas immanent in nervous activity, Bulletin of Mathematical Biophysics, volume 5, 1943.
52. Michelson, A.A. & Stratton, S.W. [1898]. A New Harmonic Analyzer. American Journal of Science, 4a série, vol V, 1898.
53. Moore, Doris Langley [1977]. Ada, countess of Lovelace: Byron's legitimate daughter. New York: Harper and Row, 1977.
54. Morrison, Philip & Morrison, Emily [1961]. Charles Babbage and his calculatings engines. New York: Dover, 1961.
55. Mosses, Peter D. [1992]. Action Semantics. Cambridge: Cambridge University Press, 1992.
56. Motoyama, Shozo [1996]. apud História da técnica e da tecnologia no Brasil. São Paulo: UNESP, 1996.
57. Nagel, Ernest & Newman, J. R. [1956]. "Gödels Proof", the world of mathematics. New York: Simon e Schuster, 1956.
58. Naur, P. Randell B. [1969]. Software Engineering. Rept. NATO Sci. Comm., 1969.
59. Needham, Joseph [1959]. Science and civilization in China, volume 3. Cambridge: Cambridge University Press, 1959.
60. Pratt, T. W. [1984]. Programming languages: design and implementation. New Jersey: Prentice Hall, Englewood Cliffs, 1984.
61. Realle, G. & Antisseri Dario [1991]. História da Filosofia. São Paulo: Edições Paulinas, 1991.
62. Rheingold, Howard [1985]. Tools for Thought: The People and Ideas of the Next Computer Revolution. New York: Simon & Schuster, 1985.
63. Rich, Elaine [1988]. Inteligência Artificial. São Paulo: McGRAW-HILL, Inc., 1988.
64. Rogers, Harold, Pequena Biografia, disponível na Internet, http://bang.lanl.gov/video/sunedu/computer/zuse.html.
65. Russell, Stuart & Norvig, Peter [1995]. Artificial Intelligence, a modern approach. New Jersey: Prentice Hall Series in Artificial Intelligence, 1995.
66. Ryder, John D. [1967]. Engineering Electronics with Industrial Applications and Control. Toquio: McGraw-Hill Kogakuska, Ltd., 1967.
67. Sanguineti, Juan Jose [1982]. Lógica. Pamplona: EUNSA, 1982.
68. Soria, Carlos [1992]. De la metáfora del cuarto poder a la sociedad de la información, apud Veinte Claves Para La Nueva Era. Madrid: Ediciones Rialp S/A, 1992.
69. Stibitz, George R. [1980]. Early computers, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.
70. Tanenbaum, A. S. [1992]. Organização Estruturada de Computadores. Rio de janeiro: Prentice-Hall do Brasil, 1992.
71. Teixeira, João de Fernandes Teixeira [1997]. Mentes e Máquinas. Porto Alegre: Artes Médicas, 1997.
72. Toynbee, Arnold [1987]. Um Estudo da História. Brasília: Martins Fontes & Editora Universidade de Brasília, 1987.
73. Turing, A. M. [1950]. Computing machinery and intelligence. England: Mind, volume 59, no 236, 1950.
74. Turing, A. M., On computable numbers, with an aplication to the Entscheidungsproblem. Proceedings of the London Mathematical Siciety, volume 42, Londres, 1936.
75. Veyne, Paul M. [1982]. Como se escreve a história. Brasília: Editora Universidade de Brasília, 1982.
76. Watt, David A. [1990]. Programming language concepts and paradigms. Cambridge: Prentice Hall, 1990.
77. Wexelblat, R. L. [1980]. ACM History of programming language conference, Los Angeles. New York: ACM Monograph, Academic Press, 1980.
78. Wiener, Norbert [1970]. Cibernética. São Paulo: Editora da Universidade de São Paulo e Editora Polígono, 1970.
79. Wilder, Raymond L. [1965]. Introduction to the foundations of Mathematics. Tóquio: John Wiley & Sons, Inc., 1965.
80. Willians, Michael R. [1997]. History of computing technology. California: IEEE Computer Societ Press, 1997.
81. Wilson, L. B. & Clark, R. G. [1988]. Comparative programming languages. England: Addison-Wesley, 1988.
82. Zuse, K. [1972]. The working program-controlled computer of 1941, Honeywell Computer Journal 6(2), 1972.
83. Zuse, Konrad [1980]. Some remarks of the history of computing in Germany, apud A history of computing in the twentieth century (a collection of essays). London: Academic Press, 1980.