Biología celular y molecular

. Alberts y col. (1996) Biología Molecular de la Célula 3ª. Ed. Barcelona Omega.
. Alberts y col. (2006) Introducción a la Biología Celular 2ª. Ed. Buenos Aires Panamericana
. De Robertis (1998). Fundamentos de Biología Celular y Molecular. 3ª. Ed. Buenos Aires. El
Ateneo

Química

. Química básica. C. Di Risio, M. Roverano e I. Vázquez, 5ª ed., Ed. CCC Educando, Buenos
Aires, 2013. - 540
. Química general. R. Petrucci, W. Harwood y F. Herring, 8ª ed., Pearson Educación, Madrid,
2003. – 3700

Análisis y Álgebra

. Zill, Dewar. Álgebra, trigonometría y geometría analítica – 1480

. Zill, Dewar. Álgebra y trigonometría - 300
. Leithold. Álgebra y trigonometría con geometría analítica (Fotocopia)
. Sullivan. Álgebra y trigonometría – 1000
. Zill, Dewar. Precálculo - 1000

Anton, Howard. Intro. al Álgebra lineal 600

Lang, Serge. Álgebra lineal 800
Grossman. Álgebra lineal 1300
Lehman. Geometría analítica Fotocopia
Auffman. Álgebra intermedia 549
Larson. Fundamentos de álgebra lineal 549
Matemáticas simplificadas 1500
Poole. Algebra lineal. Una intro. 449

Denis Zill. Precálculo 1470

Precálculo. Álgebra y trigonometría con geometría an. 549

Larson. Precáculo 700

Zill. Cálculo con geometría analítica 800
Ayres-Mendelson. Cálculo diferencial e integral Comprar
Spiegel. Cálculo superior 500

a) Bibliografia básica:

- Badesa, C., Jané, I. y Jansana, R., Elementos de lógica formal, Ariel, Barcelona, 1998.
- Falguera, J. L. y Martínez, C., Lógica clásica de primer orden. Estrategias de deducción, formalización y
evaluación semántica, Trotta, Madrid, 1999.
b) Bibliografia complementaria:

Antón, A. y Casañ, P., Lógica Matemática. Ejercicios, vol. 1, NAU Llibres, Valencia, 1987.
Castrillo, P., La estructura de los condicionales, UNED, Madrid, 1989.
Castrillo, P., Ejercicios de lógica, UNED, Madrid, 1991.
García Trevijano, C., El arte de la lógica, Tecnos, Madrid, 1993.
Pérez Sedeño, E., Ejercicios de lógica, Siglo XXI, Madrid, 1991.
Quesada, D., La lógica y su filosofía, Barcanova, Barcelona, 1985.
Read, S., Thinking about logic. An introduction to the philosophy of logic, University Press, Oxford, 1995.
Vega, L., Lecturas de lógica, UNED, Madrid, 1981.
Velarde, J., Historia de la lógica, Servicio de Publicaciones de la Universidad, Oviedo, 1989.
http://thales.cica.es/rd/Recursos/rd97/Otros/08-2-o-logica.html
1. Tratados generales de Lógica
Lógica Matemática
Y. L. Yershov, Y. A. Paliutin
Traducción: M. A. Andriánova
Editorial Mir. 1994
Lógica Simbólica
M. Garrido
Tecnos. Serie de Filosofía y Ensayo. 1983
Los métodos de la Lógica
W. V. Quine
Traducción: J. J. Acero y N. Guasch
Ariel. Colección Convivium. 1981
Lógica de primer orden
J. Mosterín
Ariel. 1983

2. Textos históricos
Tractatus Logico-Philosophicus
L. Wittgenstein
Traducción: J. Muñoz e I. Reguera
Alianza Editorial. Alianza Universidad nº 50. 1991
Investigación sobre las Leyes del Pensamiento
G. Boole
Traducción: J. A. Suárez Hernández
Paraninfo. Lógica y Teoría de la Ciencia. 1982

3. Lógicas divergentes
Una introducción a la Lógica Modal
R. Jansana
Tecnos. Serie de Filosofía y Ensayo. 1990
Logica Divergente
S. Haack
Traducción: E. Gil Borjabad
Paraninfo. Lógica y Teoría de la Ciencia. 1980
Introducción a la Lógica Modal
G. E. Hughes y M. J. Cresswell
Traducción: E. Guisán Seijás
Tecnos. Estructura y Función nº 39. 1973

4. Filosofía de la Lógica
Filosofía de la Lógica
W. V. Quine
Traducción: M. Sacristán
Alianza Editorial. Alianza Universidad nº43. 1991
Filosofía de las Lógicas
S. Haack
Traducción: A. Antón, con la colaboración de T. Orduña
Cátedra. Colección Teorema. Serie mayor. 1991

5. Filosofía del Lenguaje

La búsqueda del significado. Lecturas de Filosofía del Lenguaje
L. M. Valdés Villanueva (editor)
Tecnos. Serie de Filosofía y Ensayo. 1991
Introducción a la Filosofía del Lenguaje
J. J. Acero, E. Bustos y D. Quesada
Cátedra. Colección Teorema. Serie mayor. 1989
Principios de Filosofía del Lenguaje
J. Hierro S. Pescador
Alianza Editorial. Alianza Universidad Textos nº 106. 1989

6. Teorema de incompletitud de Gödel

Gödel's Incompleteness Theorem
V. A. Uspensky
Traducción del ruso al inglés: N. Koblitz
Mir Publishers. Little Mathematics Library. 1987
Kurt Gödel. Obras completas
K. Gödel
Recopilación y traducción: J. Mosterín y otros
Alianza Editorial. Alianza Universidad nº 286. 1981
Les théorèmes d'incomplétude de Gödel
R. Smullyan
Traducción del inglés al francés: M. Margenstern
Masson. Axiomes. 1993

7. Teoría de modelos
Teoría de modelos
M. Manzano
Alianza Editorial. Alianza Universidad Textos nº 126. 1989

8. Varios
La nueva mente del emperador
R. Penrose
Traducción: J. García Sanz
Grijalbo-Mondadori. Libro de mano nº 38. 1991
Gödel, Escher, Bach. Un Eterno y Grácil Bucle
D. R. Hofstadter
Traducción: M. A. Usabiaga y A. López Rousseau
Tusquets Editores. Superínfimos nº 9. 1987
  Allendoerfer, Carl; Oacley Cletus. Matemáticas Universitarias. Cuarta edición. Edición
revisada. Editorial Mc Graw-Hill. Latino Americana, S.A., 1990.
 Bourbaki, Nicolás. Théorie des ensembles. Hermann. París, 1970.
 Copi, Irwing M. Simbolic Logic. Macmillan Publishing Co, Inc. New York, 1973.
 De Burgos, Juan. Curso de Algebra y Geometría. Editorial Alhambra. Madrid, 1.980.
 Deaño, Alfredo. Introducción a la lógica formal. Alianza Editorial. Madrid, 1970.
 Dou, Alberto. Fundamentos de la matemática. Editorial Labor, S.A.; Barcelona, 1970.
 Enciclopedia temática Planeta. Historia de la Ciencia, Matemáticas, Informática,
Astronomía, Astronáutica. Editorial Planeta, S.A.; Barcelona, 1979.
 Galicia Arrambide, Moisés. Introducción a la lógica matemática. McGraw Hill. México,
1976.
 Gianella, Alicia. Lógica simbólica y elementos de metodología de las ciencias. Editorial
“El Ateneo”. Buenos Aires, 1980.
 Hunter, Geoffrey. Metalógica. Introducción a la metateoría de la lógica clásica de
primer orden. Paraninfo S.A.: Madrid, 1981.
 Jaramillo, Alberto y otros. Modelos de Razonamiento Lógico-matemático.
Implementados en situaciones problema, en algunos temas específicos de la
Matemática. Colección educativa Aula abierta. 2001.
 Keller, David. The Art of Reasoning with Symbolic Logic. W.W. Norton & Company: New
York , London . 1990.
 Kneller, George F. La lógica y el lenguaje en la educación. Editorial “El Ateneo”. Buenos
Aires, 1969.
 Marco general (matemáticas) Propuesta de programa curricular, noveno grado E.B.S.
Ministerio de Educación Nacional. Santafé de Bogotá, 1991.
 Mejía, Clara Elena y Jaramillo A., Alberto. Diseño de algunas estrategias de
intervención Pedagógica en el área de la lógica en la Educación Secundaria. Universidad
de Antioquia, Facultad de Educación, Medellín, 1996.
 Negro, Adolfo; Zorio, Valeriano. Cerca de la matemática (1). Editorial Alhambra, S.A.
Madrid, 1975.
 Rojo, Armando. Algebra I. Librería “El ateneo” Editorial. Buenos Aires, Argentina,
1983.
 Solow, Daniel. Cómo entender y hacer demostraciones en matemáticas. Editorial
Limusa: México, 1987.
 Suppes, Patrick; Hill, Shirley. Primer curso de lógica matemática. Editorial Reverté
Colombiana, S.A. Bogotá, 1983.
 Suppes, Patrick. Introducción a la lógica simbólica. Editorial Continental. México, 1966.


 Agazzi, Evandro (1986). Lógica simbólica. Herder. ISBN 9788425401305.
 Enderton, Herbert (2001). A mathematical introduction to logic (2nd edición).
Boston, MA: Academic Press. ISBN 978-0-12-238452-3.
 Hamilton, A.G. (1988), Logic for Mathematicians (2nd edición),
Cambridge: Cambridge University Press, ISBN 978-0-521-36865-0.
 Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (2nd
edición), Nueva York: Springer, ISBN 0-387-94258-0

1. Simon Blackburn (ed.). «propositional calculus». Oxford Dictionary of Philosophy (en

inglés). Oxford University Press. Consultado el 13 de agosto de 2009.
2. Volver arriba↑ Klement, Kevin C. «Propositional Logic». Internet Encyclopedia of
Philosophy (en inglés). Consultado el 6 de febrero de 2012.
3. Volver arriba↑ Toida, Shunichi (2 de agosto de 2009). «Proof of Implications». CS381
Discrete Structures/Discrete Mathematics Web Course Material (en inglés). Department Of
Computer Science, Old Dominion University. Consultado el 10 de marzo de 2010.
Bibliografía[editar]
 Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.
 Hamilton, A. G. (1981). Lógica para matemáticos. Paraningo.
 Mendelson, E. (1997). Introduction to Mathematical Logic (4ª edición). Chapman and
May.
 Pla, J. (1991). Lliçons de lógica matemática. P.P.U.
 Badesa, C.; Jané, I.; Jansana, R. (1998). Elementos de lógica formal. Ariel.
 Barnes, D. W.; Mack, J. M. (1978). Una introducción algebraica a la lógica matemática.
Eunibar.
 Bridge, J. (1977). Beginning Model Theory. Oxford University Pres.
 Ershov, Y.; Paliutin, E. (1990). Lógica matemática. Mir.
 Hofstadter, D. (1987). Gödel, Escher, Bach: un Eterno y Grácil Bucle. Tusquets
Editores.
 Jané, I. (1989). Álgebras de Boole y lógica. Publicaciones U.B.
 Monk, J. D. (1976). Mathematical Logic. Springer-Verlag.
 Nidditch, P. H. (1978). El desarrollo de la lógica matemática. Cátedra.
 Van Dalen, D. (1983). Logic and Structure (2ª edición). Universitext, Springer-Verlag.

1. Simon Blackburn (ed.). «first-order logic». The Oxford Dictionary of Philosophy. Oxford
University Press. Consultado el 10 de septiembre de 2009.
2. Volver arriba↑ Simon Blackburn (ed.). «first-order language». The Oxford Dictionary of
Philosophy. Oxford University Press. Consultado el 10 de septiembre de 2009.
3. Volver arriba↑ Simon Blackburn (ed.). «predicate». The Oxford Dictionary of Philosophy.
Oxford University Press. Consultado el 10 de septiembre de 2009.
4. Volver arriba↑ No deben confundirse con los argumentos que estudia la lógica.
5. ↑ Saltar a:a b c Muñoz Gutiérrez, Carlos (2000). «5». Introducción a la lógica. Pearson
Educación. pp. 35 p. Consultado el 3 de marzo de 2016.
6. ↑ Saltar a:a b c d Simon Blackburn (ed.). «quantifier». The Oxford Dictionary of Philosophy.
Oxford University Press. Consultado el 10 de septiembre de 2009.
7. Volver arriba↑ Kirwan, Christopher. «domain». The Oxford Companion to Philosophy. Oxford
University Press. Consultado el 10 de septiembre de 2009.
8. Volver arriba↑ Esta definición de verdad sólo sirve para las fórmulas bien
formadas cerradas (oraciones) de Q. Es posible dar una definición para todas las fórmulas
bien formadas, pero dicha definición involucra muchas complicaciones que no convienen a
este artículo. Para la definición más general, véase Hunter, Geoffrey (1971). «Sección
39». Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. University
of California Press.
9. Volver arriba↑ Esta estrategia está tomada de Mates, Benson (1972). Elementary logic.
Nueva York: Oxford University Press.
10. ↑ Saltar a:a b c Zalta, Edward N. «Gottlob Frege». En Edward N. Zalta. Stanford
Encyclopedia of Philosophy (en inglés) (Summer 2009 Edition).
11. Volver arriba↑ Klement, Kevin C. «Gottlob Frege». Internet Encyclopedia of Philosophy (en
inglés). Consultado el 10 de septiembre de 2010. «[Begriffsschrift] was not well-reviewed by
Frege’s contemporaries, who apparently found its two-dimensional logical notation difficult
to comprehend [...].»
12. Volver arriba↑ Klement, Kevin C. «Gottlob Frege». Internet Encyclopedia of Philosophy (en
inglés). Consultado el 10 de septiembre de 2010. «At the time of his death, Frege’s own
works were still not very widely known.»
13. ↑ Saltar a:a b Irvine, A. D. «Principia Mathematica». En Edward N. Zalta. Stanford
Encyclopedia of Philosophy (en inglés) (Summer 2010 Edition).
14. ↑ Saltar a:a b Véase la sección «Natural deduction and sequent calculus» en von Plato,
Jan. «The Development of Proof Theory». En Edward N. Zalta. Stanford Encyclopedia of
Philosophy (en inglés) (Fall 2008 Edition).
 Walicki, Michał (2011), Introduction to Mathematical Logic, Singapore: World Scientific
Publishing, ISBN 978-981-4343-87-9.
 Boolos, George; Burgess, John; Jeffrey, Richard (2002), Computability and Logic (4th
ed.), Cambridge: Cambridge University Press, ISBN 978-0-521-00758-0.
 Crossley, J.N.; Ash, C.J.; Brickhill, C.J.; Stillwell, J.C.; Williams, N.H. (1972), What is
mathematical logic?, London-Oxford-New York: Oxford University Press, ISBN 0-19-
888087-1, Zbl 0251.02001.
 Enderton, Herbert (2001), A mathematical introduction to logic (2nd ed.), Boston,
MA: Academic Press, ISBN 978-0-12-238452-3.
 Hamilton, A.G. (1988), Logic for Mathematicians (2nd ed.), Cambridge: Cambridge
University Press, ISBN 978-0-521-36865-0.
 Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (2nd ed.), New
York: Springer, ISBN 0-387-94258-0.
 Katz, Robert (1964), Axiomatic Analysis, Boston, MA: D. C. Heath and Company.
 Mendelson, Elliott (1997), Introduction to Mathematical Logic (4th ed.),
London: Chapman & Hall, ISBN 978-0-412-80830-2.
 Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd
ed.), New York: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-
3, ISBN 978-1-4419-1220-6.
 Schwichtenberg, Helmut (2003–2004), Mathematical Logic (PDF), Munich, Germany:
Mathematisches Institut der Universität München, retrieved 2016-02-24.
 Shawn Hedman, A first course in logic: an introduction to model theory, proof theory,
computability, and complexity, Oxford University Press, 2004, ISBN 0-19-852981-3.
Covers logics in close relation with computability theory and complexity theory
 van Dalen, Dirk (2013), Logic and Structure, Berlin: Springer-Verlag, ISBN 978-1-4471-
4557-8.
Graduate texts[edit]
 Andrews, Peter B. (2002), An Introduction to Mathematical Logic and Type Theory: To
Truth Through Proof (2nd ed.), Boston: Kluwer Academic Publishers, ISBN 978-1-
4020-0763-7.
 Barwise, Jon, ed. (1989). Handbook of Mathematical Logic. Studies in Logic and the
Foundations of Mathematics. North Holland. ISBN 978-0-444-86388-1..
 Hodges, Wilfrid (1997), A shorter model theory, Cambridge: Cambridge University
Press, ISBN 978-0-521-58713-6.
 Jech, Thomas (2003), Set Theory: Millennium Edition, Springer Monographs in
Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-44085-7.
 Kleene, Stephen Cole.(1952), Introduction to Metamathematics. New York: Van
Nostrand. (Ishi Press: 2009 reprint).
 Kleene, Stephen Cole. (1967), Mathematical Logic. John Wiley. Dover reprint,
2002. ISBN 0-486-42533-9.
 Shoenfield, Joseph R. (2001) [1967], Mathematical Logic (2nd ed.), A K
Peters, ISBN 978-1-56881-135-2.
 Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2000), Basic Proof Theory, Cambridge
Tracts in Theoretical Computer Science (2nd ed.), Cambridge: Cambridge University
Press, ISBN 978-0-521-77911-1.
Research papers, monographs, texts, and surveys[edit]
 Augusto, Luis M. (2017). Logical consequences. Theory and applications: An
introduction. London: College Publications. ISBN 978-1-84890-236-7.
 Cohen, P. J. (1966), Set Theory and the Continuum Hypothesis, Menlo Park, CA: W. A.
Benjamin.
 Cohen, Paul Joseph (2008) [1966]. Set theory and the continuum hypothesis. Mineola,
New York: Dover Publications. ISBN 978-0-486-46921-8..
 J.D. Sneed, The Logical Structure of Mathematical Physics. Reidel, Dordrecht, 1971
(revised edition 1979).
 Davis, Martin (1973), "Hilbert's tenth problem is unsolvable", The American
Mathematical Monthly, The American Mathematical Monthly, Vol. 80, No. 3, 80 (3):
233–269, doi:10.2307/2318447, JSTOR 2318447, reprinted as an appendix in Martin
Davis, Computability and Unsolvability, Dover reprint 1982. JStor
 Felscher, Walter (2000), "Bolzano, Cauchy, Epsilon, Delta", The American
Mathematical Monthly, The American Mathematical Monthly, Vol. 107, No. 9, 107 (9):
844–862, doi:10.2307/2695743, JSTOR 2695743. JSTOR(subscription required)
 Ferreirós, José (2001), "The Road to Modern Logic-An Interpretation", Bulletin of
Symbolic Logic, The Bulletin of Symbolic Logic, Vol. 7, No. 4, 7 (4): 441–
484, doi:10.2307/2687794, JSTOR 2687794.
 Hamkins, Joel David; Benedikt Löwe, "The modal logic of forcing", Transactions of the
American Mathematical Society, arXiv:math/0509616  , doi:10.1090/s0002-9947-07-
04297-3
 Katz, Victor J. (1998), A History of Mathematics, Addison–Wesley, ISBN 0-321-01618-
1.
 Morley, Michael (1965), "Categoricity in Power", Transactions of the American
Mathematical Society, Transactions of the American Mathematical Society, Vol. 114,
No. 2, 114 (2): 514–538, doi:10.2307/1994188, JSTOR 1994188.
 Soare, Robert I. (1996), "Computability and recursion", Bulletin of Symbolic Logic, The
Bulletin of Symbolic Logic, Vol. 2, No. 3, 2 (3): 284–321, CiteSeerX 10.1.1.35.5803 
, doi:10.2307/420992, JSTOR 420992.
 Solovay, Robert M. (1976), "Provability Interpretations of Modal Logic", Israel Journal
of Mathematics, 25 (3–4): 287–304, doi:10.1007/BF02757006.
 Woodin, W. Hugh (2001), "The Continuum Hypothesis, Part I", Notices of the American
Mathematical Society, 48 (6). PDF
Classical papers, texts, and collections[edit]
 Burali-Forti, Cesare (1897), A question on transfinite numbers, reprinted in van
Heijenoort 1976, pp. 104–111.
 Dedekind, Richard (1872), Stetigkeit und irrationale Zahlen. English translation of title:
"Consistency and irrational numbers".
 Dedekind, Richard (1888), Was sind und was sollen die Zahlen? Two English
translations:
 1963 (1901). Essays on the Theory of Numbers. Beman, W. W., ed. and trans.
Dover.
 1996. In From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2
vols, Ewald, William B., ed., Oxford University Press: 787–832.
 Fraenkel, Abraham A. (1922), "Der Begriff 'definit' und die Unabhängigkeit des
Auswahlsaxioms", Sitzungsberichte der Preussischen Akademie der Wissenschaften,
Physikalisch-mathematische Klasse, pp. 253–257 (German), reprinted in English
translation as "The notion of 'definite' and the independence of the axiom of choice",
van Heijenoort 1976, pp. 284–289.
 Frege, Gottlob (1879), Begriffsschrift, eine der arithmetischen nachgebildete
Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert. Translation: Concept
Script, a formal language of pure thought modelled upon that of arithmetic, by S.
Bauer-Mengelberg in Jean Van Heijenoort, ed., 1967. From Frege to Gödel: A Source
Book in Mathematical Logic, 1879–1931. Harvard University Press.
 Frege, Gottlob (1884), Die Grundlagen der Arithmetik: eine logisch-mathematische
Untersuchung über den Begriff der Zahl. Breslau: W. Koebner. Translation: J. L. Austin,
1974. The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of
number, 2nd ed. Blackwell.
 Gentzen, Gerhard (1936), "Die Widerspruchsfreiheit der reinen
Zahlentheorie", Mathematische Annalen, 112: 132–213, doi:10.1007/BF01565428,
reprinted in English translation in Gentzen's Collected works, M. E. Szabo, ed., North-
Holland, Amsterdam, 1969.
 Gödel, Kurt (1929), Über die Vollständigkeit des Logikkalküls, doctoral dissertation,
University Of Vienna. English translation of title: "Completeness of the logical calculus".
 Gödel, Kurt (1930), "Die Vollständigkeit der Axiome des logischen Funktionen-
kalküls", Monatshefte für Mathematik und Physik, 37: 349–
360, doi:10.1007/BF01696781. English translation of title: "The completeness of the
axioms of the calculus of logical functions".
 Gödel, Kurt (1931), "Über formal unentscheidbare Sätze der Principia Mathematica und
verwandter Systeme I", Monatshefte für Mathematik und Physik, 38 (1): 173–
198, doi:10.1007/BF01700692, see On Formally Undecidable Propositions of Principia
Mathematica and Related Systems for details on English translations.
 Gödel, Kurt (1958), "Über eine bisher noch nicht benützte Erweiterung des finiten
Standpunktes", Dialectica. International Journal of Philosophy, 12 (3–4): 280–
287, doi:10.1111/j.1746-8361.1958.tb01464.x, reprinted in English translation in
Gödel's Collected Works, vol II, Solomon Feferman et al., eds. Oxford University Press,
1990.[specify]
 van Heijenoort, Jean, ed. (1976) [1967], From Frege to Gödel: A Source Book in
Mathematical Logic, 1879–1931 (3rd ed.), Cambridge, Mass: Harvard University
Press, ISBN 0-674-32449-8, (pbk.)
 Hilbert, David (1899), Grundlagen der Geometrie, Leipzig: Teubner, English 1902
edition (The Foundations of Geometry) republished 1980, Open Court, Chicago.
 David, Hilbert (1929), "Probleme der Grundlegung der Mathematik", Mathematische
Annalen, 102: 1–9, doi:10.1007/BF01782335. Lecture given at the International
Congress of Mathematicians, 3 September 1928. Published in English translation as
"The Grounding of Elementary Number Theory", in Mancosu 1998, pp. 266–273.
 Hilbert, David; Bernays, Paul (1934). Grundlagen der Mathematik. I. Die Grundlehren
der mathematischen Wissenschaften. 40. Berlin, New York: Springer-
Verlag. ISBN 978-3-540-04134-4. JFM 60.0017.02. MR 0237246.
 Kleene, Stephen Cole (1943), "Recursive Predicates and Quantifiers", American
Mathematical Society Transactions, Transactions of the American Mathematical
Society, Vol. 53, No. 1, 54 (1): 41–73, doi:10.2307/1990131, JSTOR 1990131.
 Lobachevsky, Nikolai (1840), Geometrishe Untersuchungen zur Theorie der
Parellellinien (German). Reprinted in English translation as "Geometric Investigations
on the Theory of Parallel Lines" in Non-Euclidean Geometry, Robert Bonola (ed.),
Dover, 1955. ISBN 0-486-60027-0
 Löwenheim, Leopold (1915), "Über Möglichkeiten im Relativkalkül", Mathematische
Annalen, 76 (4): 447–470, doi:10.1007/BF01458217, ISSN 0025-5831 (German).
Translated as "On possibilities in the calculus of relatives" in Jean van Heijenoort,
1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 228–
251.
 Mancosu, Paolo, ed. (1998), From Brouwer to Hilbert. The Debate on the Foundations
of Mathematics in the 1920s, Oxford: Oxford University Press.
 Pasch, Moritz (1882), Vorlesungen über neuere Geometrie.
 Peano, Giuseppe (1889), Arithmetices principia, nova methodo exposita (Latin),
excerpt reprinted in English translation as "The principles of arithmetic, presented by a
new method", van Heijenoort 1976, pp. 83 97.
 Richard, Jules (1905), "Les principes des mathématiques et le problème des
ensembles", Revue générale des sciences pures et appliquées, 16: 541 (French),
reprinted in English translation as "The principles of mathematics and the problems of
sets", van Heijenoort 1976, pp. 142–144.
 Skolem, Thoralf (1920), "Logisch-kombinatorische Untersuchungen über die
Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über
dichte Mengen", Videnskapsselskapet Skrifter, I. Matematisk-naturvidenskabelig
Klasse, 6: 1–36.
 Tarski, Alfred (1948), A decision method for elementary algebra and geometry, Santa
Monica, California: RAND Corporation
 Turing, Alan M. (1939), "Systems of Logic Based on Ordinals", Proceedings of the
London Mathematical Society, 45 (2): 161–228, doi:10.1112/plms/s2-45.1.161
 Zermelo, Ernst (1904), "Beweis, daß jede Menge wohlgeordnet werden
kann", Mathematische Annalen, 59 (4): 514–516, doi:10.1007/BF01445300 (German),
reprinted in English translation as "Proof that every set can be well-ordered", van
Heijenoort 1976, pp. 139–141.
 Zermelo, Ernst (1908a), "Neuer Beweis für die Möglichkeit einer
Wohlordnung", Mathematische Annalen, 65: 107–
128, doi:10.1007/BF01450054, ISSN 0025-5831 (German), reprinted in English
translation as "A new proof of the possibility of a well-ordering", van Heijenoort 1976,
pp. 183–198.
 Zermelo, Ernst (1908b), "Untersuchungen über die Grundlagen der
Mengenlehre", Mathematische Annalen, 65 (2): 261–281, doi:10.1007/BF01449999.
 Andrews, Peter B. (2002); An Introduction to Mathematical Logic and Type Theory:
To Truth Through Proof, 2nd ed., Berlin: Kluwer Academic Publishers. Available
from Springer.
 Avigad, Jeremy; Donnelly, Kevin; Gray, David; and Raff, Paul (2007); "A formally
verified proof of the prime number theorem", ACM Transactions on Computational
Logic, vol. 9 no. 1 doi:10.1145/1297658.1297660
  Barwise, Jon (1977); "An Introduction to First-Order Logic", in Barwise, Jon, ed.
(1982). Handbook of Mathematical Logic. Studies in Logic and the Foundations of
Mathematics. Amsterdam, NL: North-Holland. ISBN 978-0-444-86388-1.
 Barwise, Jon; and Etchemendy, John (2000); Language Proof and Logic, Stanford,
CA: CSLI Publications (Distributed by the University of Chicago Press)
 Bocheński, Józef Maria (2007); A Précis of Mathematical Logic, Dordrecht, NL: D.
Reidel, translated from the French and German editions by Otto Bird
 Ferreirós, José (2001); The Road to Modern Logic — An Interpretation, Bulletin of
Symbolic Logic, Volume 7, Issue 4, 2001, pp. 441–
484, doi:10.2307/2687794, JSTOR 2687794
 Gamut, L. T. F. (1991); Logic, Language, and Meaning, Volume 2: Intensional Logic
and Logical Grammar, Chicago, Illinois: University of Chicago Press, ISBN 0-226-
28088-8
 Hilbert, David; and Ackermann, Wilhelm (1950); Principles of Mathematical Logic,
Chelsea (English translation of Grundzüge der theoretischen Logik, 1928 German
first edition)
 Hodges, Wilfrid (2001); "Classical Logic I: First Order Logic", in Goble, Lou
(ed.); The Blackwell Guide to Philosophical Logic, Blackwell
 Ebbinghaus, Heinz-Dieter; Flum, Jörg; and Thomas, Wolfgang
(1994); Mathematical Logic, Undergraduate Texts in Mathematics, Berlin, DE/New
York, NY: Springer-Verlag, Second Edition, ISBN 978-0-387-94258-2
 Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd
ed.), New York, NY: Springer Science+Business Media, doi:10.1007/978-1-4419-
1221-3, ISBN 978-1-4419-1220-6
 Tarski, Alfred and Givant, Steven (1987); A Formalization of Set Theory without
Variables. Vol.41 of American Mathematical Society colloquium publications,
Providence RI: American Mathematical Society, ISBN 978-0821810415.
2. Textbooks
 Enderton, H. A Mathematical Introduction to Logic. 2nd
edition. San Diego, Cal: Academic Press 2001.
This is an excellent textbook that covers a lot of ground in an efficient
way, with the right balance of material between proof (syntax), models
(semantics), and computability. It does assume some familiarity with
mathematical modes of expression and procedure, but nothing that
cannot be explained informally by the lecturer.
I would strongly advise sticking to one textbook and mastering that. If
one wants a feel for the mathematical background to ease the way, try
 Devlin, K. 1992. Sets, Functions & Logic: an Introduction to
Abstract Mathematics. 2nd ed. London: Chapman & Hall.
For information only I mention some other well known textbooks on
mathematical logic.
 Boolos, G. & Jeffrey, R. Computability and Logic. 3 rd edition.
Cambridge: Cambridge University Press 1989.
Its special characteristic is that it presents proof that various accounts
of computability coincide. Another famous textbook that covers the
much the same ground is
 Mendelson, E. Introduction to Mathematical Logic. 4th ed.
London: Chapman & Hall 1997.
A fine textbook for graduate level students, with material that is not
found in other textbooks is
  Shoenfield, J. Mathematical Logic. Reading, Mass.: Addison-
Wesley 1967.
In the days of the single �Symbolic Logic' paper we used Moshé
Machover's Set Theory, Logic & Their Limitations. It is now out of
print but may be found in libraries. If you continue study of
mathematical logic I recommend Bell and Machover's �blue book',
which covers the ground of their once famous M.Sc. course:
 Bell, J. & Machover, M. A Course in Mathematical Logic.
Amsterdam: North-Holland 1977
Also the golden classic
 Kleene, S. Introduction to Metamathematics. Amsterdam:
North-Holland 1952.
A first course in logic by S. Hedman
 Enderton, A Mathematical Introduction to Logic

Logic and Structure by Van Dalen

Mendelson's book Introduction to Mathematical Logic I
https://en.wikipedia.org/wiki/Propositional_calculus