BIBLIOGRAFÍA DE TEXTOS DE LÓGICA EN ESPAÑOL

• ALLWOOD, J.; ANDERSON, L.; DAHL, Ö (1981): Lógica para lingüistas. MADRID, PARANINFO.

• BARWISE & ETCHEMENDY: The language of First-Order Logic, CSLI Lecture Notes Number 34, Stanford, 1992 (traducción al español en prensa)

• BARNES, D.W. y MACK, J.M.: Una introducción algebraica a la lógica. BARCELONA, EUNIBAR, 1978.

• BOCHENSKI, Historia de la lógica formal, Madrid, Gredos, 1976

• COHEN Y NAGEL: Introducción a la lógica y al método científico, Buenos Aires, Amorrortu, 1968

• COPI,I.: Introducción a la lógica, Buenos Aires, Eudeba

• COPI,I.: Lógica Simbólica, Madrid, CECSA, 1978

• DEAÑO, A.: Introducción a la lógica, Madrid, Alianza

• FALGUERA LÓPEZ Y MARTÍNEZ VIDAL: Lógica Clásica de Primer Orden, Trotta, 1999

• GARRIDO, M.: Lógica simbólica. Madrid, Tecnos, 1983

• HAMILTON, A.G.: Lógica para matemáticos, Madrid, Paraninfo, 1981

• HILBERT Y ACKERMANN: Elementos de Lógica, Madrid, Tecnos, 1962

• HUGHES & CRESWELL: Introducción a la lógica modal. Madrid, Tecnos, 1973

• HUERTAS Y MANZANO: Lógica para principiantes. Madrid, Alianza, 2004.

• HUNTER, Geoffrey: Metalógica. Introducción a la metateoría de la lógica clásica de primer orden. Paraninfo. Madrid 1981

• JANSANA, R.: Una introducción a la lógica modal, Madrid, Tecnos, 1991

• JEFFREY, Richard.: Lógica formal: su alcance y sus límites. Ediciones Universidad de Navarra. S, A. Pamplona, 1996

• KLEENE, S..C. Introducción a la Metamatemática, Madrid, Tecnos, 1972

• MANZANO, M.: Teoría de Modelos, Madrid, Alianza, 1989

• MATES, Benson.: Lógica matemática elemental, Madrid, Tecnos, 1970

• PRIOR, A.: Formal Logic, Oxford, At the clarendon Press, 1973

• QUINE, W.: El sentido de la nueva lógica, Bs.As., Espasa Calpe, 1967

• QUINE, W.: Los métodos de la lógica, Barcelona, Ariel,1967

• SUPPES, P.: Introducción a la lógica, SECSA, México, 1969

• TARSKI, A.: Introducción a la lógica, Bs.As., Rueda 1970

• VAN FRAASEN, B.: Semántica formal y lógica, México, UNAM, 1987

• ENDERTON, H.B.: Una introducción matemática a la lógica, México, UNAM, 1987.

TEXTOS DE LÓGICA RECOMENDADOS PARA TRADUCCIÓN

• BARKER, Stephen,: The Elements of Logic, Mc Graw-Hill Book Company, 1980

• *** BERGMANN, Merrie & MOOR, James & NELSON, Jack, The Logic Book, Mc-Graw-Hill, Inc

• HOWSON, Colin: Logic with Trees. An Introduction to Symbolic, Logic.Routledge, 1997

• JEFFREY, Richard: Formal Logic, (Segunda Edición)

• KALISH,D. & MONTAGUE, R.: Logic, Techniques of  Formal Reasoning. Harcourt Brace Jovanovich,1980

• LEMMON, E.J.: Beginning Logic. Van Nostrand Reihold, (first de. 1965) 1986

• *** SMULLYAN, Raymond M.: First Order Logic, Springer-Verlag, 1968

• ENDERTON, op. Cit. 2ª edición

• MALITZ, J. :Introduction to Mathematical  logic. 1984

• GALLIER. J. : Logic for Computer Science

• *** GAMUT, Logic, Language and Meaning. University of Chicago Press

TEXTOS DE LÓGICA EN PROCESO DE TRADUCCIÓN

• A Shorter Model Theory, W. Hodges

• Logic and Structure, D. van Dalen

• BARWISE & ETCHEMENDY, The Language of First Order Logic. CSLI