000			00713nam a2200169Ia 4500
005			20241211205619.0
008			241211s1980 xx 000 0 und d
020			_afcnm599
082			_a510.1/M64
100			_aMiroQuesada Cantuarias, Francisco.
245		0	_aLogica I : Filosofía de las Matemáticas
250			_a1ra
260			_aLima : _bIP, _c1980
300			_a680 páginas
505			_a1.La lógica como teoría de la deducción. 2.El lenguaje de la lógica. 3.Análisis intuitivo del concepto de deducción. 4.El método axiomático. 5.El teorema de la deducción. 6.La interpretación de los lenguajes de primer orden. 7.Métodos de deducción formal en la lógica de primer orden.
942			_yLIB
999			_c49834 _d49834