000			02224cam a2200289 a 4500
005			20140430085402.0
008			110215r19621975sp gr 001 0 spa d
020			_a8430905812
041	1		_aspa _hger
082	0	4	_a511.3 _bH351e _223
100	1		_aHilbet, David _d1862-1943
245	1	3	_aElementos de lógica teórica _cD. Hilbert y W. Ackermann ; traducción Victor Sánchez de Zavala
250			_a2a ed.
260			_aMadrid _bTecnos _c1975
300			_a213 p. _b24 cm.
490	0		_aEstructura y función
500			_aCatalogación basada en la 2a. edición
500			_a1a. edición corresponde al año 1962. 2a. edición corresponde al año 1975
504			_aIncluye bibliografía e índice
505	0		_a1. El cálculo de proposiciones ; 2. El cálculo de clases ; 3. El cálculo restringido de predicados ; 4. El cálculo generalizado de predicados
520	1		_aLa lógica teórica, tambien llamada lógica matemática o simbólica, es una extensión del método formal de la matemática en el campo de la lógica: se aplica en ésta un lenguaje formal semejante al que está en uso desde hace largo tiempo en la expresión de las relaciones matemáticas. Hoy se consideraría una utopía cualquier intento de edificar una disciplina matemática utilizando únicamente el lenguaje usual. Esta conocida obra surgió de los estudios dedicados por D. Hilbert al cálculo lógico, disciplina que quería emplear para una estructuración de las matemáticas que pusiera de manifiesto su compatibilidad (o sea, ausencia de contradicción). En ella se describen los hechos fundamentales del cálculo lógico en cuatro capítulos, dedicados, respectivamente, al cálculo de proposiciones, al de clases y a los cálculos restringido y generalizado de predicados. Gracias a haberse seleccionado lo esencial y a la claridad de la exposición, este libro es perfectamente legible y instructivo incluso para el profano que quiera familiarizarse con sus fórmulas
534			_tGrundzüge der theoretischen logik
650	1	7	_aLógica matemática y simbólica _2LEMB
700	1		_aAckermann, W. _d1896-1962
700	1		_aSánchez de Zavala, Victor _d1926-1996 _etr.
942			_2ddc _h511 _cBK
999			_c8281 _d8281