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. Jansana Tecnos. V. Serie de Filosofía y Ensayo. Alianza Universidad nº 50. J. 1981 Lógica de primer orden J. Lógicas divergentes Una introducción a la Lógica Modal R. 1983 Los métodos de la Lógica W. 1973 4. 1991 Investigación sobre las Leyes del Pensamiento G. Lógica y Teoría de la Ciencia. Muñoz e I. Quine Traducción: M. 1990 Logica Divergente S. Cresswell Traducción: E. A. Filosofía de la Lógica Filosofía de la Lógica W. Garrido Tecnos. Yershov. Suárez Hernández Paraninfo. Lógica y Teoría de la Ciencia. Mosterín Ariel. Acero y N. Paliutin Traducción: M. L. Sacristán Alianza Editorial. Reguera Alianza Editorial. Colección Convivium. 1982 3. V. 1983 2. A. Gil Borjabad Paraninfo. Serie de Filosofía y Ensayo. Andriánova Editorial Mir. Haack Traducción: E. 1994 Lógica Simbólica M. Wittgenstein Traducción: J. J. Guisán Seijás Tecnos. Boole Traducción: J. Tratados generales de Lógica Lógica Matemática Y. Textos históricos Tractatus Logico-Philosophicus L. Estructura y Función nº 39. 1991 . Quine Traducción: J. Y. Hughes y M. 1980 Introducción a la Lógica Modal G. A. Alianza Universidad nº43. E. Guasch Ariel. 1987 . Hierro S. Bach. Haack Traducción: A. Smullyan Traducción del inglés al francés: M. Serie mayor. Varios La nueva mente del emperador R. Uspensky Traducción del ruso al inglés: N. Orduña Cátedra. 1987 Kurt Gödel. Alianza Universidad Textos nº 126. 1981 Les théorèmes d'incomplétude de Gödel R. Bustos y D. 1993 7. con la colaboración de T. Serie mayor. Mosterín y otros Alianza Editorial. Teorema de incompletitud de Gödel Gödel's Incompleteness Theorem V. Superínfimos nº 9. Valdés Villanueva (editor) Tecnos. Libro de mano nº 38. Antón. Lecturas de Filosofía del Lenguaje L. Alianza Universidad nº 286. Little Mathematics Library. Axiomes. 1989 6. Pescador Alianza Editorial. Usabiaga y A. Un Eterno y Grácil Bucle D. J. A. Quesada Cátedra. Escher. Manzano Alianza Editorial. Obras completas K. 1991 5. Margenstern Masson. Colección Teorema. Filosofía del Lenguaje La búsqueda del significado. 1991 Gödel.Filosofía de las Lógicas S. E. Colección Teorema. A. M. Penrose Traducción: J. García Sanz Grijalbo-Mondadori. Serie de Filosofía y Ensayo. Gödel Recopilación y traducción: J. Acero. Teoría de modelos Teoría de modelos M. R. Hofstadter Traducción: M. Koblitz Mir Publishers. Alianza Universidad Textos nº 106. 1989 8. 1989 Principios de Filosofía del Lenguaje J. 1991 Introducción a la Filosofía del Lenguaje J. López Rousseau Tusquets Editores. Ebbinghaus. 1976. Diseño de algunas estrategias de intervención Pedagógica en el área de la lógica en la Educación Secundaria. New York. Kevin C. 1980. Bibliografía[editar] Enderton. Introducción a la lógica matemática. S. Edición revisada. Copi.S. Editorial Reverté Colombiana. Oacley Cletus. Alberto. (1988). Primer curso de lógica matemática. ISBN 0-387-94258-0 1. Historia de la Ciencia. Academic Press. Lógica para matemáticos.A. 1975. Armando.. Introduction to Mathematical Logic (4ª edición). Librería “El ateneo” Editorial. Astronomía.. Cuarta edición. Flum. CS381 Discrete Structures/Discrete Mathematics Web Course Material (en inglés). Cómo entender y hacer demostraciones en matemáticas. 1981. Hamilton. México. Mendelson. Negro. Marco general (matemáticas) Propuesta de programa curricular. Editorial Alhambra. Kneller. Simon Blackburn (ed. Allendoerfer..A. A mathematical introduction to logic (2nd edición). «Propositional Logic». A Mathematical Introduction to Logic. Cerca de la matemática (1). Bogotá.). Metalógica. Nicolás. E. Alberto y otros. 1991. Jaramillo. Buenos Aires. Hunter. Paraninfo S. Lógica simbólica y elementos de metodología de las ciencias. Carl. 1987. Hermann. Bourbaki. Medellín. Deaño. Hill. Suppes.A. Astronáutica.A. Consultado el 6 de febrero de 2012.-D. Alianza Editorial. G. Lógica simbólica. Madrid. Santafé de Bogotá. (1994). Norton & Company: New York . París. Matemáticas Universitarias. Zorio. J. W. Hamilton. Mathematical Logic (2nd edición). Editorial “El Ateneo”. Suppes. La lógica y el lenguaje en la educación. David. Macmillan Publishing Co. B. S. Volver arriba↑ Klement. S. Enderton. Madrid. H. (1997). .G. Nueva York: Springer. Editorial Continental. Chapman and May. Internet Encyclopedia of Philosophy (en inglés). Fundamentos de la matemática. 1970. The Art of Reasoning with Symbolic Logic. Editorial Mc Graw-Hill. S. Moisés. Old Dominion University.: Madrid. George F. Mejía. Editorial “El Ateneo”. W. Clara Elena y Jaramillo A. 2. «propositional calculus». Oxford University Press. 1. Facultad de Educación. Keller. Editorial Alhambra. Rojo. Editorial Labor. Alfredo.980. Cambridge: Cambridge University Press. 1969. Introducción a la lógica formal. Modelos de Razonamiento Lógico-matemático. Théorie des ensembles. Agazzi. Buenos Aires. «Proof of Implications». H. Patrick. Department Of Computer Science. Gianella. Simbolic Logic. Herder. S. Shirley. Latino Americana. Galicia Arrambide. Boston. Daniel. México. 3. Barcelona. Universidad de Antioquia. ISBN 978-0-12-238452-3. Alberto. Madrid. Shunichi (2 de agosto de 2009). Buenos Aires. noveno grado E. Paraningo. 2001. 1983. Adolfo. Algebra I. Irwing M. Herbert (2001). Geoffrey. Thomas. 1970. Enciclopedia temática Planeta. Ministerio de Educación Nacional. Logic for Mathematicians (2nd edición). Evandro (1986). Curso de Algebra y Geometría. ISBN 978-0-521-36865-0.A.W. Patrick. 1970. Solow.A. 1979. A. Argentina. Informática. Matemáticas. 1973.. Consultado el 10 de marzo de 2010. Consultado el 13 de agosto de 2009. Introducción a la metateoría de la lógica clásica de primer orden. 1996. Barcelona. en algunos temas específicos de la Matemática. Inc. De Burgos. Alicia. McGraw Hill. (1972). Valeriano. Introducción a la lógica simbólica.. Juan. Volver arriba↑ Toida. Oxford Dictionary of Philosophy (en inglés). 1983. Dou.. (1981). A. ISBN 9788425401305.B. 1990. 1966. Implementados en situaciones problema. Editorial Planeta. 1990. Colección educativa Aula abierta. Editorial Limusa: México. MA: Academic Press. London . «predicate». University of California Press. Lógica matemática.). Frege’s own works were still not very widely known. MA: Academic Press.. Zbl 0251. (1977). Jansana. Internet Encyclopedia of Philosophy (en inglés). Volver arriba↑ Simon Blackburn (ed.G. Stanford Encyclopedia of Philosophy (en inglés) (Summer 2010 Edition). Paliutin. Volver arriba↑ Simon Blackburn (ed. . Christopher. (1983). Nidditch. Stillwell. «5». Jeffrey. J. (1972).). ↑ Saltar a:a b c Muñoz Gutiérrez. Gödel. «Principia Mathematica». who apparently found its two-dimensional logical notation difficult to comprehend [.). 7. Mathematical Logic..). A. Volver arriba↑ Esta estrategia está tomada de Mates. Ershov. Barnes. Publicaciones U. Oxford University Press. Escher. (1991).]. 10. Tusquets Editores. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2008 Edition). ISBN 0-387-94258-0. Ariel. Boolos. (1978). Logic for Mathematicians (2nd ed. pero dicha definición involucra muchas complicaciones que no convienen a este artículo. (1994). Elementos de lógica formal.U.. Consultado el 10 de septiembre de 2010. ↑ Saltar a:a b c d Simon Blackburn (ed. John. The Oxford Dictionary of Philosophy. Monk. Crossley. Kevin C. Volver arriba↑ Esta definición de verdad sólo sirve para las fórmulas bien formadas cerradas (oraciones) de Q. The Oxford Dictionary of Philosophy. Consultado el 10 de septiembre de 2009. H. I. «Gottlob Frege». D. Computability and Logic (4th ed. C. Benson (1972). Oxford University Press. Álgebras de Boole y lógica. 5. Cátedra. (1978). Burgess. Pla. Jan. N. The Oxford Companion to Philosophy. M.-D. A. The Oxford Dictionary of Philosophy. D. ISBN 978-0-521-00758-0. 11. 35 p. 14. The Oxford Dictionary of Philosophy. Ebbinghaus. Kevin C. Consultado el 10 de septiembre de 2009..02001. Singapore: World Scientific Publishing.. P. D.. Lliçons de lógica matemática. ISBN 978-0-12-238452-3. Richard (2002). What is mathematical logic?. Es posible dar una definición para todas las fórmulas bien formadas. George. Beginning Model Theory. Volver arriba↑ Klement. W. Para la definición más general. 3. Hofstadter. Simon Blackburn (ed. Bach: un Eterno y Grácil Bucle. Consultado el 3 de marzo de 2016. «first-order logic». Universitext. Una introducción algebraica a la lógica matemática. 6. «Sección 39». (1989).).. Geoffrey (1971). 1.» 13. «first-order language». Oxford University Pres. Cambridge: Cambridge University Press. D. J. ISBN 978-981-4343-87-9. «domain». Zalta. «Gottlob Frege». Oxford University Press. En Edward N. ISBN 0-19- 888087-1. En Edward N. Badesa. Introducción a la lógica. Elementary logic. Zalta.P. El desarrollo de la lógica matemática. Thomas. J. Nueva York: Oxford University Press. Mack. Hamilton.. 8.).J. Internet Encyclopedia of Philosophy (en inglés).C. ↑ Saltar a:a b Véase la sección «Natural deduction and sequent calculus» en von Plato. New York: Springer. Mathematical Logic (2nd ed. «quantifier». Consultado el 10 de septiembre de 2009. Springer-Verlag. Cambridge: Cambridge University Press. ISBN 978-0-521-36865-0.N. Brickhill. J. J. Michał (2011). (1987). (1990). W. Bridge. I. Y. Boston. Consultado el 10 de septiembre de 2010. Volver arriba↑ No deben confundirse con los argumentos que estudia la lógica. J. Introduction to Mathematical Logic. Stanford Encyclopedia of Philosophy (en inglés) (Summer 2009 Edition).B. C. P. Williams. Edward N. «At the time of his death. 4. Volver arriba↑ Klement.). «The Development of Proof Theory». «Gottlob Frege». En Edward N. Volver arriba↑ Kirwan. Walicki. Enderton. véase Hunter. Pearson Educación. A mathematical introduction to logic (2nd ed. Herbert (2001). Jané. H.» 12. Mir.). D. ↑ Saltar a:a b Irvine. Consultado el 10 de septiembre de 2009. Oxford University Press. Jané. Oxford University Press. Springer-Verlag. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic.J. London-Oxford-New York: Oxford University Press. Carlos (2000). Zalta. Consultado el 10 de septiembre de 2009. (1998). C.. ↑ Saltar a:a b c Zalta... E. 9. Flum. Van Dalen. (1976).. (1988). J. «[Begriffsschrift] was not well-reviewed by Frege’s contemporaries. R. 2. Eunibar. Logic and Structure (2ª edición).H. pp. Ash. Logic and Structure. Cohen. Victor J. Set Theory: Millennium Edition. CA: W. Mathematical Logic (PDF). ISBN 978-3-540-44085-7. ISBN 978-1-56881-135-2. ISBN 978-0-444-86388-1. Dover reprint 1982. Set Theory and the Continuum Hypothesis. A K Peters. Handbook of Mathematical Logic. Germany: Mathematisches Institut der Universität München. A. Mathematical Logic. and complexity. A first course in logic: an introduction to model theory. Dirk (2013). Rautenberg. New York: Springer-Verlag. (Ishi Press: 2009 reprint). Thomas (2003). Menlo Park. Vol. 107. Jon. 4. Research papers. Computability and Unsolvability. Introduction to Metamathematics. . JSTOR 2687794. Stephen Cole. 80 (3): 233–269. Vol. Schwichtenberg.2307/2318447. texts. retrieved 2016-02-24. 107 (9): 844–862. (1989). Introduction to Mathematical Logic (4th ed. Cauchy. Troelstra. New York: Springer Science+Business Media. Basic Proof Theory. P. Benedikt Löwe. Covers logics in close relation with computability theory and complexity theory van Dalen. 2004.). Mathematical Logic (2nd ed. Cambridge: Cambridge University Press. doi:10. ISBN 0-19-852981-3. No. Axiomatic Analysis. 2002. 7. A shorter model theory. Walter (2000). computability. ISBN 978-0-521-58713-6. Stephen Cole.2307/2687794. Theory and applications: An introduction. (2017). Berlin. No. Joel David. Benjamin. Cambridge: Cambridge University Press. reprinted as an appendix in Martin Davis. doi:10. J. "Hilbert's tenth problem is unsolvable". A History of Mathematics. Graduate texts[edit] Andrews. Robert (1964). Schwichtenberg. Studies in Logic and the Foundations of Mathematics. MA: D. Mendelson. Cohen. No. North Holland. Transactions of the American Mathematical Society. Oxford University Press. A Concise Introduction to Mathematical Logic (3rd ed.). Peter B. 9. Sneed. New York: Dover Publications. Kleene. Wilfrid (1997). ISBN 0-486-42533-9. Logical consequences. JSTOR 2318447. The American Mathematical Monthly. Mineola. (1998). Anne Sjerp. 80. London: College Publications. Katz. ISBN 978-0-412-80830-2. The American Mathematical Monthly. Luis M. The Bulletin of Symbolic Logic. José (2001). Elliott (1997). Davis. Wolfgang (2010). (1966).). Kleene. Munich. Addison–Wesley. Paul Joseph (2008) [1966]. doi:10. John Wiley. 3. Boston. The Logical Structure of Mathematical Physics. ISBN 978-1-84890-236-7. Bulletin of Symbolic Logic. doi:10. Dover reprint. Hamkins. Joseph R.1007/978-1-4419-1221- 3.). Epsilon. and surveys[edit] Augusto. Heath and Company. Jech. (1967). ISBN 978-1-4471- 4557-8. Martin (1973). Dordrecht. ISBN 978-0-521-77911-1. Vol. Reidel. London: Chapman & Hall. Shoenfield.D. ed. Shawn Hedman.. The American Mathematical Monthly. The American Mathematical Monthly. doi:10. ISBN 0-321-01618- 1. ISBN 978-0-486-46921-8.. C.1090/s0002-9947-07- 04297-3 Katz.(1952). Hodges. Berlin: Springer-Verlag. (2001) [1967]. "The modal logic of forcing". Barwise. Set theory and the continuum hypothesis. JSTOR(subscription required) Ferreirós. JStor Felscher. Cambridge Tracts in Theoretical Computer Science (2nd ed. Delta". J. New York: Van Nostrand.2307/2695743. proof theory. ISBN 978-1-4419-1220-6. arXiv:math/0509616 . Helmut (2000). Helmut (2003–2004). ISBN 978-1- 4020-0763-7. "The Road to Modern Logic-An Interpretation". 1971 (revised edition 1979). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd ed. (2002). monographs. JSTOR 2695743. Boston: Kluwer Academic Publishers. 7 (4): 441– 484. Springer Monographs in Mathematics. "Bolzano.). 2 vols... Vol. and collections[edit] Burali-Forti. Solovay. No. Solomon Feferman et al. ISBN 0-674-32449-8. Harvard University Press. Gerhard (1936). Monatshefte für Mathematik und Physik. "Categoricity in Power". Monatshefte für Mathematik und Physik. 1969. English translation of title: "Consistency and irrational numbers". 104–111. Ewald. 1967. Robert I. (1976) [1967]. (1922).: Louis Nebert. Michael (1965). 1879–1931. 37: 349– 360. "Computability and recursion".1746-8361. Mathematische Annalen.. Austin. ed. Translation: Concept Script.1. PDF Classical papers. Gottlob (1884). pp. Bauer-Mengelberg in Jean Van Heijenoort.. "Der Begriff 'definit' und die Unabhängigkeit des Auswahlsaxioms". 253–257 (German). pp. Israel Journal of Mathematics. 2 (3): 284–321.). Stetigkeit und irrationale Zahlen. Cesare (1897). Amsterdam. Essays on the Theory of Numbers. 114 (2): 514–538. Gödel. Morley. (1976). ed. No. North- Holland. Jean. ed. Koebner.x. doi:10. Kurt (1930).2307/1994188. "The Continuum Hypothesis. Kurt (1931). Vol. reprinted in English translation in Gödel's Collected Works. W. and trans. William B. Halle a. Dover. English translation of title: "Completeness of the logical calculus". JSTOR 1994188. The Bulletin of Symbolic Logic. Notices of the American Mathematical Society. 12 (3–4): 280– 287. ed. E. Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl. Abraham A. Gödel. Oxford University Press. Dialectica. University Of Vienna. Frege. L. JSTOR 420992. W. Gentzen. Gödel. Richard (1888). Gödel. (pbk. Blackwell. pp. reprinted in English translation as "The notion of 'definite' and the independence of the axiom of choice".1. texts. reprinted in van Heijenoort 1976. 48 (6). Begriffsschrift. Mass: Harvard University Press. CiteSeerX 10. doi:10. Über die Vollständigkeit des Logikkalküls.1007/BF01700692. From Frege to Gödel: A Source Book in Mathematical Logic. Soare. Was sind und was sollen die Zahlen? Two English translations: 1963 (1901). A question on transfinite numbers. "Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes". "Provability Interpretations of Modal Logic". Cambridge. The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of number. doi:10. doi:10. Richard (1872). see On Formally Undecidable Propositions of Principia Mathematica and Related Systems for details on English translations. Oxford University Press: 787–832. Bulletin of Symbolic Logic. Transactions of the American Mathematical Society. doctoral dissertation.tb01464.2307/420992. 2nd ed. Sitzungsberichte der Preussischen Akademie der Wissenschaften. In From Kant to Hilbert: A Source Book in the Foundations of Mathematics. 1990.5803 .) . "Die Vollständigkeit der Axiome des logischen Funktionen- kalküls". Kurt (1929). Part I". M. eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. 3. Hugh (2001). doi:10.1007/BF02757006. a formal language of pure thought modelled upon that of arithmetic. doi:10. Fraenkel.1958. (1996).[specify] van Heijenoort. 114. Szabo. International Journal of Philosophy. Robert M. 38 (1): 173– 198. Physikalisch-mathematische Klasse. Breslau: W. Translation: J. vol II. Transactions of the American Mathematical Society.1007/BF01696781. doi:10. 112: 132–213. "Die Widerspruchsfreiheit der reinen Zahlentheorie". English translation of title: "The completeness of the axioms of the calculus of logical functions". Beman. van Heijenoort 1976. Gottlob (1879).. S. 1879–1931 (3rd ed. 25 (3–4): 287–304. 284–289. 1974. by S. "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I". Frege.1111/j. Dedekind. 2. Kurt (1958).1007/BF01565428. ed. eds. Woodin. W. reprinted in English translation in Gentzen's Collected works.. From Frege to Gödel: A Source Book in Mathematical Logic. Dedekind. 2.35. 1996. Hilbert. Kevin. Dover. pp. ACM Transactions on Computational Logic. Avigad. No. Mathematische Annalen. 16: 541 (French). Mathematische Annalen. 1 doi:10. (2002). "Les principes des mathématiques et le problème des ensembles". 183–198.1. Peano. "Recursive Predicates and Quantifiers". reprinted in English translation as "Proof that every set can be well-ordered". Gray.. van Heijenoort 1976. JSTOR 1990131. Lobachevsky. 6: 1–36. "Untersuchungen über die Grundlagen der Mengenlehre". Tarski. "Beweis. 1879–1931. Skolem. From Brouwer to Hilbert. Nikolai (1840). Open Court. Zermelo. Hilbert (1929).2307/1990131. Videnskapsselskapet Skrifter. Giuseppe (1889). 1967. Arithmetices principia. Vol.1007/BF01782335. Peter B. New York: Springer- Verlag. daß jede Menge wohlgeordnet werden kann". (1939). doi:10. doi:10. "Neuer Beweis für die Möglichkeit einer Wohlordnung". An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd ed. Oxford: Oxford University Press. Paolo.161 Zermelo. Available from Springer. 76 (4): 447–470. Reprinted in English translation as "Geometric Investigations on the Theory of Parallel Lines" in Non-Euclidean Geometry. presented by a new method". reprinted in English translation as "The principles of mathematics and the problems of sets".0017. Chicago. California: RAND Corporation Turing. ISBN 978-3-540-04134-4. Santa Monica. van Heijenoort 1976. ISSN 0025-5831 (German). 9 no.1112/plms/s2-45. and Raff.1007/BF01458217. Published in English translation as "The Grounding of Elementary Number Theory". 65: 107– 128. David (1899). Thoralf (1920). English 1902 edition (The Foundations of Geometry) republished 1980. in Mancosu 1998. Hilbert. Stephen Cole (1943). pp. Richard. "Systems of Logic Based on Ordinals". vol.1007/BF01445300 (German). doi:10. (1998). 102: 1–9. I. 1955. Alfred (1948). 266–273. ISSN 0025-5831 (German). Zermelo. Bernays. "Probleme der Grundlegung der Mathematik". Vorlesungen über neuere Geometrie. Robert Bonola (ed. ISBN 0-486-60027-0 Löwenheim. Ernst (1908a). Moritz (1882). Translated as "On possibilities in the calculus of relatives" in Jean van Heijenoort.1007/BF01449999. 139–141. Mathematische Annalen. Mathematische Annalen. 1.02. Matematisk-naturvidenskabelig Klasse.1007/BF01450054. Press: 228– 251. 45 (2): 161–228. doi:10. nova methodo exposita (Latin). Leopold (1915). 83 97. pp. 65 (2): 261–281. The Debate on the Foundations of Mathematics in the 1920s.1297660 . A Source Book in Mathematical Logic. Donnelly. Jeremy. excerpt reprinted in English translation as "The principles of arithmetic. "Über Möglichkeiten im Relativkalkül". Harvard Univ. Mathematische Annalen. Berlin: Kluwer Academic Publishers. Proceedings of the London Mathematical Society. Jules (1905). Kleene. Leipzig: Teubner. pp. reprinted in English translation as "A new proof of the possibility of a well-ordering". doi:10. 3 September 1928. Paul (1934). Lecture given at the International Congress of Mathematicians. David. Revue générale des sciences pures et appliquées. Paul (2007). Geometrishe Untersuchungen zur Theorie der Parellellinien (German). Transactions of the American Mathematical Society. MR 0237246. American Mathematical Society Transactions. van Heijenoort 1976. 54 (1): 41–73. Andrews. David. 40. pp. ed. Mancosu. van Heijenoort 1976. I. "A formally verified proof of the prime number theorem". Ernst (1908b). Grundlagen der Mathematik. 53. Grundlagen der Geometrie. doi:10. Alan M. 59 (4): 514–516. "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen". JFM 60. doi:10. Ernst (1904). Pasch. Die Grundlehren der mathematischen Wissenschaften. Berlin. A decision method for elementary algebra and geometry. 142–144. David.).1145/1297658. Chelsea (English translation of Grundzüge der theoretischen Logik. ISBN 978-1-4419-1220-6 Tarski. A Mathematical Introduction to Logic. Jörg. Volume 7. Language Proof and Logic. and Etchemendy. E. doi:10. For information only I mention some other well known textbooks on mathematical logic. Undergraduate Texts in Mathematics. and Ackermann.). Wolfgang (1994). models (semantics). 4th ed. Boolos. Blackwell Ebbinghaus. 3 rd edition. Jon. in Barwise. ISBN 978-0821810415. Volume 2: Intensional Logic and Logical Grammar. Illinois: University of Chicago Press. but nothing that cannot be explained informally by the lecturer. translated from the French and German editions by Otto Bird Ferreirós. Berlin. London: Chapman & Hall 1997. London: Chapman & Hall. R.2307/2687794. DE/New York. and Meaning. doi:10.41 of American Mathematical Society colloquium publications. pp. Józef Maria (2007). Reidel. K. Jon. 441– 484. 2001. Principles of Mathematical Logic. Second Edition. & Jeffrey. Functions & Logic: an Introduction to Abstract Mathematics. 1928 German first edition) Hodges. 1992. Alfred and Givant. If one wants a feel for the mathematical background to ease the way. "Classical Logic I: First Order Logic". Wilhelm (1950). T. Studies in Logic and the Foundations of Mathematics. Sets. Cal: Academic Press 2001. A fine textbook for graduate level students.). in Goble. New York. Stanford. NL: D. Providence RI: American Mathematical Society. G. CA: CSLI Publications (Distributed by the University of Chicago Press) Bocheński. Dordrecht. ISBN 0-226- 28088-8 Hilbert.1007/978-1-4419- 1221-3. The Road to Modern Logic — An Interpretation. Vol. ed. José (2001). Textbooks Enderton. NL: North-Holland. Wolfgang (2010). 2nd edition. "An Introduction to First-Order Logic". Wilfrid (2001). L. 2. Heinz-Dieter. Steven (1987). F. (1982). Another famous textbook that covers the much the same ground is Mendelson. San Diego. ISBN 978-0-387-94258-2 Rautenberg. NY: Springer-Verlag. NY: Springer Science+Business Media. This is an excellent textbook that covers a lot of ground in an efficient way. Barwise. The Blackwell Guide to Philosophical Logic. Flum. John (2000). with material that is not found in other textbooks is . Computability and Logic. Issue 4. Handbook of Mathematical Logic. and Thomas. 2nd ed. Its special characteristic is that it presents proof that various accounts of computability coincide. Introduction to Mathematical Logic. Cambridge: Cambridge University Press 1989. H. David. Logic. It does assume some familiarity with mathematical modes of expression and procedure. with the right balance of material between proof (syntax). ISBN 978-0-444-86388-1. Mathematical Logic. JSTOR 2687794 Gamut. I would strongly advise sticking to one textbook and mastering that. Bulletin of Symbolic Logic. Amsterdam. Language. A Précis of Mathematical Logic. Chicago. Barwise. try Devlin. Lou (ed. A Concise Introduction to Mathematical Logic (3rd ed. (1991). and computability. Jon (1977). A Formalization of Set Theory without Variables. Sc. It is now out of print but may be found in libraries. A Course in Mathematical Logic. If you continue study of mathematical logic I recommend Bell and Machover's �blue book'. Logic & Their Limitations. J. course: Bell. & Machover. M. Amsterdam: North-Holland 1952. Amsterdam: North-Holland 1977 Also the golden classic Kleene. Introduction to Metamathematics. Mass. Shoenfield.: Addison- Wesley 1967. Reading. Mathematical Logic. A Mathematical Introduction to Logic Logic and Structure by Van Dalen Mendelson's book Introduction to Mathematical Logic I https://en. which covers the ground of their once famous M. A first course in logic by S.wikipedia.org/wiki/Propositional_calculus . In the days of the single �Symbolic Logic' paper we used Moshé Machover's Set Theory. S. Hedman Enderton. J.