Lista de livros sobre Lógica

- SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa

- HODGES, Wilfrid Augustine. Logic. 2. ed. London, GBR: Penguin Books, 2001. 292 p. ISBN 141003146

- BROOKSHEAR, J. Glenn. Ciência da computação: uma visão abrangente

- HANDBOOK of philosophical logic. Edição de Dov M. Gabbay, F. Guenthner

- HODGES, Wilfrid Augustine. Logic. 2. ed. London, GBR: Penguin Books, 2001. 292 p. ISBN 141003146

- A PHILOSOPHICAL companion to first-order logic. Edição de R. I. G. (ED) HUGHES

- KLINE, Morris. Mathematical thought from ancient to modern times

- KNEALE, W C; KNEALE, Martha; KNEALE, William. The development of logic

- MENDELSON, Elliott. Introduction to mathematical logic

- WHITEREAD, Alfred North; RUSSELL, Bertrand; WHITEHEAD, Alfred North. Principia Mathematica

- HILBERT, David; ACKERMANN, W.; LUCE, Robert E. Principles of mathematical logic