000			01379nam a2200229 a 4500
999			_c6352 _d6352
003			arcduce
005			20200404220333.0
007			ta
008			170404s1968 sp_||||| |||| 00| 0 spa d
040			_aarcduce _carcduce
082	0		_a511.3
100	1		_98342 _aTarski, Alfred, _d1902-1983
245	1	0	_aIntroducción a la lógica y a la metodología de las ciencias deductivas / _cAlfred Tarski.
250			_a2a ed.
260			_aMadrid : _bEspasa-Calpe, _c1968
300			_a285 p.
505			_aPte.1. Elementos de lógica y método deductivo: 1. Sobre el uso de variables -- 2. Sobre el cálculo proposicional -- 3. Sobre la teoría de la identidad -- 4. Sobre la teoría de clases -- 5. Sobre la teoría de relaciones -- 6. Sobre el método deductivo -- Pte.2. Aplicaciones de la lógica y de la metodología a la construcción de teorías matemáticas: 7. Construcción de una teoría matemática, leyes sobre la ordenación de los números -- 8. Leyes sobre la adición y sustracción -- 9. Consideraciones metodológicas sobre la teoría construída -- 10. Extensión de la teoría construída, fundamentos de la aritmética de los números reales -- Guía bibliográfica.
541			_cInventario 55340 donación prof. Carlos Pérez Mackeprang
650		4	_aLOGICA SIMBOLICA Y MATEMATICA _91260
942			_cLIBR _jT 511.3 T 19851 _2ddc
945			_c2017-04-04 corregido