000			01394nam a22003857a 4500
003			AR-HaUTN
005			20240930172536.0
007			ta
008			190627b xxu||||| |||| 00| 0 spa d
040			_cAR-HaUTN
080			_a164 SUP
100			_91493 _aSuppes, Patrick
245			_aIntroducción a la lógica simbólica
250			_a1° ed.
260			_aMéxico, D. F. _bContinental _c1966
300			_a378 p.
500			_aLa obra está organizada en dos partes: I) Principios de inferencia y definición; II) Teoría elemental intuitiva de los conjuntos.
500			_aÍndice alfabético p. 373-378.
505			_tLos conectivos oracionales.
505			_tTeoría oracional de la inferencia.
505			_tRepresentación simbólica del lenguaje cotidiano.
505			_tTeoría general de la inferencia.
505			_tOtras reglas de inferencia.
505			_tApostilla sobre el uso y la mención.
505			_tTransición de las demostraciones formales a las informales.
505			_tTeoría de la definición.
505			_tConjuntos.
505			_tRelaciones.
505			_tFunciones.
505			_tFundamentación sinforemática del método axiomático.
650	1	7	_2Tesauro SPINES _aLÓGICA MATEMÁTICA _94945
650	2	7	_2Tesauro SPINES _aTEORÍA DE CONJUNTOS _94946
650	2	7	_2Tesauro SPINES _aAXIOMAS _94947
942			_2udc _cBK
999			_c5678 _d5678