1. FUNDAMENTOS MATEMÁTICOS PARA CIÊNCIA DA COMPUTAÇÃO – Judith L.Gersting - LTC(Livros Técnicos e Científicos) - 1995
2. INTRODUCTION TO MATHEMATICAL LOGIC-E. Mendelson -Wadsworth & Brooks/ Cole Mathematics Series - 1987
3. THE LANGUAGE OF FIRST-ORDER LOGIC – Jon Barwise and John Etchemendy – CSLI – Stanford - 1992

1. NOÇÕES DE LÓGICA MATEMÁTICA - Abar, C. A . A. P. – www.pucsp.br/~logica (roteiro teórico)e www.pucsp.br/~abarcaap (exercícios)
2. ÁLGEBRA BOOLEANA E CIRCUITOS DE CHAVEAMENTO – E. Mendelson - McGraw Hill - 1977 
3. INICIAÇÃO À LÓGICA MATEMÁTICA - E. de Alencar Filho -E.Nobel -1984 
4. INTRODUÇÃO À LÓGICA MATEMÁTICA - B.Castrucci - GEEM -1982 
5. INTRODUCTION TO METAMATHEMATICS - S.C.Kleene - van Nostrand - 1952 
6. LÓGICA - John Nolt / Dennis Rohatyn - Schaum/McGraw Hill - 1991 
7. LÓGICA - O CÁLCULO DE PREDICADOS - L.Hegenberg - EDUSP - 1973 
8. LÓGICA - O CÁLCULO SENTENCIAL - L.Hegenberg - Herder/EDUSP - 1973 
9. LÓGICA DINÂMICA - T. Barreiro de Nudler -Kapelusz Argentina - 1994 
10. LÓGICA E ÁLGEBRA DE BOOLE - J. Daghlian - Atlas - 1986 
11. LÓGICA MATEMÁTICA- H. Cyrino e F. Arantes - Papirus – 1984 
12. A FIRST COURSE IN FUZZY LOGIC –Hung T. Nguyen and Elbert A. Walker – CRC Press – 1997
13. FUZZY LOGIC – Daniel Mcneill and Paul Freiberger – Touchstone - 1993 
14. INTRODUÇÃO À LÓGICA - Cezar A. Mortari - Ed. Unesp - 2001 
15. INTRODUÇÃO À LÓGICA E APLICAÇÕES- Abe,J.M. e outros - Ed. Plêiade - 1999 
16. DISCRETE MATHEMATICS AND ITS APPLICATIONS - Keneth H. Rosen - WCB McGraw-Hill - 1999
17. LÓGICA PARA CIÊNCIA DA COMPUTAÇÃO - João Nunes de Souza - Ed. Campus - 2002 

Sites:

1. http://www.sandiego.edu/LogicSlave/fmslog.html

2. http://nlvm.usu.edu/en/nav/frames_asid_153_g_2_t_1.html?open=instructions&from=topic_t_1.html

3. http://www.cfh.ufsc.br/~dkrause/pg/cursos/lparac.htm

4. http://www.javafile.com

Profa. Dra. Celina A. A. P. Abar
Depto. de Matemática - PUCSP-2008
logica@pucsp.br