ALLEN, Colin; HAND, Michael. Logic primer. 2. ed. Cambridge, MA: MIT Press, 2001. Editora — MIT Press .

BARKER-PLUMMER, Dave; BARWISE, Jon; ETCHEMENDY, John. Language, proof and logic. 2. ed. Stanford: CSLI Publications, 2011. Editora — University of Chicago Press .

BARONETT, Stan. Lógica: uma introdução voltada para as ciências. Tradução de Anatólio Laschuk. Porto Alegre: Bookman, 2009.

BARONETT, Stan. Logic. Upper Saddle River: Prentice Hall, 2008. Livraria — Kriso .

BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; SOUZA FILHO, Oswaldo Melo. Introdução à lógica matemática. São Paulo: Cengage Learning, 2011. Livraria — Grupo A .

CARNIELLI, Walter A.; EPSTEIN, Richard L. Pensamento crítico: o poder da lógica e da argumentação. 4. ed. São Paulo: Rideel, 2019. Editora — Rideel, 5ª edição (2023) .

CHISWELL, Ian; HODGES, Wilfrid. Mathematical logic. Oxford: Oxford University Press, 2007. Editora — Oxford University Press .

COPI, Irving M. Introdução à lógica. Tradução de Álvaro Cabral. 2. ed. São Paulo: Mestre Jou, 1978. Livraria — Estante Virtual .

ENDERTON, Herbert B. A mathematical introduction to logic. 2. ed. San Diego: Academic Press, 2001. Editora — Elsevier .

FAJARDO, Rogério Augusto dos Santos. Lógica matemática. São Paulo: Edusp, [s. d.]. Editora — Edusp, edição de 2025 .

FORESMAN, Galen A.; FOSL, Peter S.; WATSON, Jamie Carlin. The critical thinking toolkit: a compendium of concepts and methods for reasoning. Chichester: Wiley-Blackwell, 2016. Editora — Wiley .

GENSLER, Harry J. Introduction to logic. 2. ed. New York: Routledge, 2010. Editora — Routledge, 3ª edição (2017) .

HEGENBERG, Leônidas. Lógica. [S. l.: s. n.], [s. d.]. Editora — Grupo GEN, edição de 2012 .

HEGENBERG, Leônidas; SILVA, Marilúze Ferreira de Andrade e. Novo dicionário de lógica. Rio de Janeiro: Pós-Moderno, 2005.

HODGES, Wilfrid. Logic. Harmondsworth: Penguin Books, 1980.

JEFFREY, Richard C. Formal logic: its scope and limits. 4. ed. Edição e suplemento de John P. Burgess. Indianapolis: Hackett Publishing Company, 2006. Editora — Hackett .

KALISH, Donald; MONTAGUE, Richard. Logic: techniques of formal reasoning. New York: Harcourt, Brace & World, 1964.

KLEENE, Stephen Cole. Introduction to metamathematics. Amsterdam: North-Holland, 1952. Editora — Elsevier, edição posterior .

KOWALSKI, Robert A. Logic for problem solving. New York: Elsevier North-Holland, 1979. Acesso gratuito — Imperial College London .

LEMMON, E. J. Beginning logic. Edição de George W. D. Berry. Indianapolis: Hackett Publishing Company, 1978. Editora — Hackett .

MAGNUS, P. D. forall x: an introduction to formal logic. Versão 1.4. Albany: University at Albany, 2017. Acesso gratuito — site oficial .

MENDELSON, Elliott. Introduction to mathematical logic. [S. l.: s. n.], [s. d.]. Google Books — 5ª edição (2009) .

MORTARI, Cezar A. Introdução à lógica. São Paulo: Editora UNESP, 2001. Editora — UNESP .

MORTARI, Cezar A. Lógica III. [S. l.: s. n.], 2011.

NEWTON-SMITH, W. H. Logic: an introductory course. London: Routledge, 1985. Livraria — iMusic Brasil .

NOLT, John; ROHATYN, Dennis. Lógica. [S. l.: s. n.], [s. d.].

PRAWITZ, Dag. Natural deduction: a proof-theoretical study. Mineola: Dover Publications, 2006. Google Books .

SALMON, Wesley C. Logic. 3. ed. Englewood Cliffs: Prentice-Hall, 1984.

SCHUMM, George F. A teaching companion to Lemmon's Beginning logic. Indianapolis: Hackett Publishing Company, 1986. Editora — Hackett, edição catalogada como 1979 .

SHOENFIELD, Joseph R. Mathematical logic. Reading, MA: Addison-Wesley, 1967. Editora — CRC Press, reimpressão de 2010  

SMITH, Peter. An introduction to formal logic. Cambridge: Cambridge University Press, 2003. Editora — Cambridge University Press, edição de 2020 .

SMITH, Peter. Teach yourself logic 2017: a study guide. Cambridge: [s. n.], 2017. Acesso gratuito — site oficial do autor .

SMITH, Peter. Teach yourself logic: appendix: some big books on mathematical logic. Cambridge: [s. n.], 2015. Acesso gratuito — site oficial do autor .

SMULLYAN, Raymond M. First-order logic. Berlin: Springer-Verlag, 1968. Editora — Springer .

SULLIVAN, Scott M. An introduction to traditional logic. [S. l.]: Classical Theist Publishing, 2013.

TOMASSI, Paul. Logic. London: Routledge, 1999. Editora — Routledge .

ZIMBARG SOBRINHO, Jacob. Introdução à lógica matemática. Rio de Janeiro: Instituto de Matemática Pura e Aplicada, 1973.

Ad Infinitum  

Número Imaginário 

Ad Infinitum 

Número Imaginário