Download Bibliografía - Universidad Autónoma de Madrid

Bibliografía
I.
Manuales y monografías de apoyo.
Alonso, E. (1996):
Curso de Teoría de la Computación. Serie Cuadernos de
Trabajo. Ediciones de la UAM. Madrid.
Badesa, C., Jané, I. y Jansana, R. (1998):Elementos de lógica formal. Ariel Filosofía.
Barcelona.
Bell, J. y Machover, M. (1977):
A Course in Mathematical Logic. North-Holland.
Amsterdam, Nueva York, Londres.
Beth, E.W. (1965):
Las Paradojas de la Lógica. Ed. Castellana de Juan
Manuel Lorente. Cuadernos Teorema 4. Valencia, 1978.
Beth, E. W. (1978):
Entrañamiento semántico y derivabilidad formal.
Cuadernos Teorema 18. Valencia, 1978.
Boolos, G. S & Jeffrey, R.C. (1989):
Computability and Logic. (3rd Ed.).
Cambridge University Press. Cambridge.
Alonso, J.A., Borrego, J. et al. (1998):
Curso práctico de Teoría de conjuntos.
Ediciones la Ñ. Sevilla.
Castrillo, P. (1993):
Los Precursores Británicos de la Lógica Moderna.
Universidad Nacional de Educación a Distancia. Madrid.
Crossley, J.N (et.al.) (1972):
¿Qué es la lógica matemática?. Ed castellana de
J. Alcolea y J. Sánchez Cuenca. Tecnos. Madrid,
1983.
Bibliografía
Chang, C.C. y Keisler, H.J. (1990):Model Theory. North-Holland. Amsterdam.
Church, A. (1956):
Introduction to Mathematical Logic. Princeton University
Press.
Davis, M. (1977):
“Unsolvable Problems”, ”, Handbook of Mathematical
Logic, J. Barwise (ed.). North-Holland Publishing
Company. Amsterdam.
Deaño, A. (1975):
Introducción a la Lógica Formal. Alianza Universidad.
Madrid.
de Lorenzo, J. (1980):
El Método Axiomático y sus Creencias . Tecnos. Madrid.
de Lorenzo, J. (1985):
Nociones de Lógica. ICE. Universidad de Valladolid.
Valladolid.
Díaz Estévez, E. (1985):
“Historia y Filosofía de la Lógica” en Lógica Formal.
Orígenes, métodos y aplicaciones. A. Nepomuceno (ed.).
Kronos. Sevilla, 1995.
Ebbinghaus, H.D., Flum, J. y Thomas, W. (1984):
Enderton, H.B. (1972):
Mathematical Logic.
Springer. Nueva York.
Una Introducción Matemática a la Lógica. UNAM, Méjico,
1987.
Etchemendy, J. (1988):
“Tarski on Truth and Logical Consequence”, The
Journal of Symbolic Logic, vol.53, nº1, pp.51-79.
Etchemendy, J. (1990):
The Concept of Logical Consequence. Harvard
University Press.
464
Bibliografía
Falguera, J.L. y Martínez Vidal, C. (1999):
Fraïssé, R. (1986):
Lógica Clásica de Primer Orden.
Editorial Trotta. Madrid.
Theory of Relations. North-Holland. Amsterdam.
Gabbay, D. y Guenthner, F. (eds.) (1983):
Handbook of Philosophical Logic.
Vol. I: Elements of Classical Logic.
Reidel. Dordrecht.
Gabbay, D. y Guenthner, F. (eds.) (1986a):
Handbook of Philosophical Logic.
Vol. II: Extensions of Classical
Logics. Reidel. Dordrecht.
Gandy, R. (1994):
“The Confluence of Ideas in 1936”, en The Universal
Turing Machine. A Half-Century Survey . Springer. Viena,
Nueva York, 1994.
Gardner, M (1958):
Máquinas y Diagramas lógicos. Luis Bou (trad.). Alianza
Editorial. Madrid, 1985.
Gareth Ashurst, F. (1982):
Fundadores de las Matemáticas Modernas. Ed.
castellana de A. Ruíz Merino. Alianza Editorial.
Madrid, 1985.
Garrido, M. (1974):
Lógica Simbólica. Tecnos. Madrid, 1981.
Geymonat, (1972):
Historia el Pensamiento Filosófico y Científico. Siglo XX.
Vol.2. Ed. Castellana ed R. Grassa et al. Ariel. Barcelona,
1985.
Haack, S. (1978):
Filosofía de las Lógicas. Ed. castellana de Amador Antón.
Cátedra. Madrid, 1982.
Halmos, P. (1970):
Naive Set Theory. Springer.
465
Bibliografía
Hasenjaeger, G. (1961):
Conceptos de la Lógica Moderna. Ed. castellana de M.
Sacristán. Biblioteca Universitaria Labor. Barcelona,
1968.
Hilbert, D. y Ackermann, W. (1962):
Elementos de Lógica Teórica. Ed.
castellana de Victor Sánchez de Zabala.
Tecnos. Madrid, 1975.
Hofstadter, D.R. (1979):
Gödel, Escher, Bach. Un Eterno y Gracil Bucle. Tusquets.
Madrid, 1987.
Hunter, G. (1969):
Metalógica. Ed. castellana de Rodolfo Fernández.
Paraninfo. Madrid, 1981.
Jeffrey, R.C. (1967):
Lógica Formal. Ed. castellana. Univ. de Navarra. Navarra,
1986.
Kleene, S.C. (1952):
Introducción a la Metamatemática. Ed. castellana de M.
Garrido. Tecnos. Madrid, 1974.
Kneale, W, y M (1961):
El Desarrollo de la Lógica. Javier Muguerza (trad.).
Tecnos. Colección Estructura y Función. Madrid, 1972.
Ladrière, J. (1969):
Limitaciones Internas de los Formalismos. Tecnos.
Madrid.
Malitz, J. (1979):
Introduction to mathematical logic. Set theory, computable
functions and model theory. Springer. Nueva York.
Manin, Y.I. (1979):
Lo Demostrable y lo Indemostrable. Mir. Moscú, 1981.
Manzano, M (1989):
Teoría de Modelos. Alianza Universidad Textos. Madrid.
466
Bibliografía
Marraud, H. (1990):
Teoría de Modelos Elemental. Ediciones de la
Universidad Autónoma de Madrid. Madrid.
Marraud, H. (1998):
Introducción a la Teoría de los Sistemas Deductivos .
Ediciones de la Universidad Autónoma de Madrid.
Madrid.
Marraud, H. y Navarro, P. (1988):
Sistemas Deductivos Tipo Gentzen.
Ediciones de la Universidad Autónoma de
Madrid. Madrid.
Mates, B. (1965):
Lógica matemática elemental. Tecnos. Madrid, 1987.
Mosterín, J. (1979):
Un cálculo deductivo para la lógica de segundo orden.
Cuadernos Teorema 51. Valencia.
Nagel, E. y Newman, J.R. (1958): El Teorema de Gödel. Ed. castellana de Adolfo
Martín. Estructura y Función. Tecnos. Madrid,
1979.
Nepomuceno, A. (ed.) (1995):
Lógica Formal. Orígenes, métodos y aplicaciones.
Kronos. Sevilla.
Nepomuceno, A. (1995):
“Lógica Formal Elemental”, en A. Nepomuceno
Lógica Formal. Orígenes, métodos y aplicaciones.
Kronos. Sevilla.
Penrose, R. (1989):
La Nueva Mente del Emperador. Mondadori. Madrid,
1991.
Pla, J. (1991):
Lliçons de Lògica Matemàtica. PPU. Barcelona.
467
Bibliografía
Prior, A. N (ed) (1976):
Historia de la Lógica. Amador Antón y Esteban Requena
(trads.). Tecnos. Madrid, 1976.
Quesada. D. (1985):
La Lógica y su Filosofía. Barcanova. Barcelona.
Quine, W.V. (1970):
Filosofía de la Lógica. Ed. castellana de M. Sacristán.
Alianza Editorial. Madrid, 1973.
Rivadulla, A. (1986):
Filosofía Actual de la Ciencia. Tecnos. Madrid.
Robinson, J. (1965):
“A Machine-Oriented Logic Based on the Resolution
Principle”, J. Assoc. Comput. Mach. 12, pp.23-41.
Russell, B. (1918):
“La Filosofía del Atomismo Lógico”, en Ensayos sobre
lógica y conocimiento. Ed. castellana de J. Mugerza.
Tecnos. Madrid, 1966.
Salguero, F.J. (1995):
“Lógica y Análisis del Lenguaje Natural”, en Lógica
Formal. Orígenes, métodos y aplicaciones. Kronos.
Sevilla.
Sancho San Román, J. (1990):
Lógica matemática y Computabilidad. Díaz de
Santos. Madrid.
Segerberg, K. (1982):
Classical Propositional Operators. Clarendon Press.
Oxford.
Sieg, W. (1999):
“Hilbert’s Programs: 1917-1922”, The Bulletin of Symbolic
Logic, vol.5, nº1, pp.1-44.
Smullyan, R.M. (1968):
First Order Logic. Springer. Berlin.
468
Bibliografía
Sundholm, G. (1983):
“Systems of Deduction”, Handbook of Philosophical Logic.
Vol. III, D. Gabbay y F. Guenthner (eds.). Reidel.
Dordrecht, 1986.
Takeuti, G. (1987):
Proof Theory. North-Holland. Amsterdam.
Van Fraassen, B. (1971):
Semántica formal y Lógica. UNAM. Méjico, 1987.
Vega, L. (1987):
El Análisis Lógico: nociones y problemas. Cuadernos de la
UNED. Madrid.
Wang, H. (1974):
From Mathematics to Philosophy. Routledge & Kegan
Paul. Londres.
Wang, H. (1996):
A Logical Journey. From Gödel to Philosophy. The Mit
Press. Cambridge, Massachusets.
Wojcicki, R. (1988):
Theory of Logical Calculi. Basic Theory of Consequence
Operations. Kluwer Academic Publishers. Dordrecht.
469
Bibliografía
II.
Obras clásicas.
Aristóteles: Organon. Edición, traducción y notas de Miguel Candel Sanmartín.
Biblioteca Clásica Gredos. Madrid 1982, 1988.
Aristóteles: Categorías. De Interpretatione. Edición de Alfonso García Suárez, Luis.
M. Valdés Villanueva, y Julian Velarde Lombraña. Tecnos. Madrid,
1999.
Boole, G. (1847):
The Matematical Analysis of Logic. Londres, Cambridge. Ed.
castellana El Análisis Matemático de la Lógica, Cátedra. Madrid,
1979.
Castrillo, P. y Vega, L. (1984):
Lecturas de Lógica II. UNED. Madrid.
Church, A. (1936):
“An Unsolvable Problem of Elementary Number Theory”,
en The Undecidable, M. Davis (ed.). Raven Press.
Hewlett, Nueva York, 1965.
Church, A. (1936):
“A Note on the Entscheidungsproblem”, en The
Undecidable, M. Davis (ed.). Raven Press. Hewlett,
Nueva York, 1965.
Davis, M. (ed.) (1965):
The Undecidable. Basic Papers on Undecidable
Propositions, Unsolvable Problems, and Computable
Functions. Raven Press, Hewlett, Nueva York.
Frege, G.
Estudios sobre Semántica. Ed. castellana de Ulises Moulines. Ariel.
Barcelona, 1984.
Frege, G.
Fundamentos de la Aritmética. Ed. castellana de Ulises Moulines. Laia.
Barcelona, 1973.
470
Bibliografía
Gödel, K. (1931):
“Über formal unentscheidbare Sätze der Principia
Mathematica und verwandter Systeme I”, Monatsh. Math.
Phys., 38, pp.173-198. Ed. Inglesa en The Undecidable,
M. Davis (ed.). Raven Press. Hewlett, Nueva York, 1965.
Ed. castellana en Obras Completas, Alianza. Madrid.
Hilbert, D. y Ackermann, W. (1928):
Gründzuge der theoretischen Logik.
Springer. Berlin.
Tarski, A. (1930):
“The Concept of Truth in Formalized Languages”, en J.
Corcoran (ed.), Logic, Semantics and Metamathematics.
Hackett Publishing Company, 1983.
Tarski, A. (1936):
“On the Concept of Logical Consecuence”, en J. Corcoran
(ed.), Logic, Semantics and Metamathematics. Hackett
Publishing Company, 1983.
Van Heijenoort, J. (1967): From Frege to Gödel. A Source Book in Mathematical
Logic. Harvard University Press. Cambridge, Mass.
Whitehead, A.N. y Russell, B. (1910-13): Principia Mathematica, 3 vols. Cambridge
University Press. Cambridge.
471
Bibliografía
III. Obras relacionadas con las Lógicas No-Clásicas.
Anderson, A. R. y Belnap, N.D. (1975):
Entailment: the Logic of Relevance and
Necessity. Vol.I. Princeton University
Press.
Anderson, A. R. y Belnap, N.D. (1992):
Entailment: the Logic of Relevance and
Necessity. Vol.II. Princeton University
Press.
Benthem, J. van (1986):
“Partiality and nonmonotonicity in classical logic”,
Logique et Analyse 114, nº29, pp.225-247.
Benthem, J. van (1988):
A Manual of Intensional Logic. (2ª ed.), Chicago
University Press.
Blamey, S. (1986):
“Partial Logic”, en Handbook of Philosophical Logic. Vol.
III, D. Gabbay y F. Guenthner (eds.). Reidel. Dordrecht,
1986.
Boolos, G. (1979):
The Unprovability of Consistency. Cambridge University
Press. Cambridge.
Bull, R.A. y Segerberg, K. (1984):
Dalen, D. van (1986):
“Basic Modal Logic”, en Handbook of
Philosophical Logic. Vol. III. Gabbay, D. y
Guenthner, F. (eds.)Reidel. Dordrecht,
1986.
“Intuitionistic Logic”, en Handbook of Philosophical Logic.
Vol. III: Alternatives to Classical Logic. Gabbay, D. y
Guenthner, F. (eds.). Reidel. Dordrecht, 1986.
Gabbay, D. y Guenthner, F. (eds.) (1986b):
472
Handbook of Philosophical Logic.
Vol. III: Alternatives to Classical
Logic. Reidel. Dordrecht.
Bibliografía
Gardies, J.L. (1979):
Lógica del Tiempo. Ed. castellana de J. Ordóñez y P.
Martínez-Freire. Paraninfo. Madrid, 1979.
Haack, S. (1974):
Lógica Divergente. Paraninfo. Madrid, 1979.
Hughes, G.E. y Cresswell, M.J. (1968):
Introducción a la lógica modal. Ed.
castellana de Esperanza Guisan Seijas.
Tecnos. Madrid, 1973.
Hughes, G.E. y Cresswell, M.J. (1984):
A Companion to Modal Logic. Methuen.
Londres.
Jansana, R. (1990):
Una Introducción a la Lógica Modal. Tecnos. Madrid.
Langholm, T. (1988):
Partiality, truth and persistence. CSLI. Stanford.
Levesque, H. y Pirri, F. (1999):
Logical Foundations for Cognitive Agents.
Springer. Berlin.
Priest, G. (1979):
“The Logic of Paradox”, Journal of Philosophical Logic,
vol.8, 1979, pp. 219-241.
Priest, G., Routley, R. y Norman, J. (1986):
Paraconsistents Logics, Philosophia
Verlag.
Segerberg, K. (1971):
An Essay in Classical Modal Logic. Filosofiska Studier.
Uppsala University.
Trillas, E. (1980):
Conjuntos Borrosos. Vicens Universidad. Barcelona.
473
Bibliografía
Trillas, E., Alsina, C. y Terricabras J.M. (1995):
Urquhart, A. (1986):
474
Introducción a la Lógica
Borrosa. Ariel Matemática.
Barcelona.
“Many-valued Logics”, en Handbook of Philosophical
Logic. Vol. III, D. Gabbay y F. Guenthner (eds.). Reidel.
Dordrecht, 1986.