TY - BOOK AU - Suppes, Patrick AU - Hill, Shirley TI - Introducción a la Lógica Matemática SN - 9789686708011 U1 - 511.3 PY - 2012/// CY - México PB - Reverté,S.A KW - LÓGICA MATEMÁTICA NO CLÁSICA KW - MÉXICO N1 - Biblioteca especializada / a domicilio; E.A.P. Ingeniería Agroecológica y Desarrollo Rural; First course in mathematical logic N2 - Modernamente la Lógica se ha convertido en una materia no sólo profunda, sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática, formulándose una teoría de inferencia completamente explícita que se adecua a todos los ejemplos típicos del razonamiento deductivo en Matemáticas y a las Ciencias empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas ER -