000			01025nam a2200205Ia 4500
008			220107t1962||||xx |||||||||||||| ||und||
040			_aBoOrUTOFe _bEs _cUTO
044			_aES
082			_aeco 412 _bm26
100			_aMartin, Richard M
245		0	_aVerdad y denotación
246			_a Truth and denotation
260			_aMadrid: _bTecnos S.A, _c1962
300			_a284p. _b. _c23,5 cm
500			_aIncluye índice de autores. Incluye índice de materias. Incluye índice de símbolos especiales
505			_aAnálissi filosófico y lenguajes formalizados, lenguajes de primer orden, sintaxis de primer orden, denotación múltiple semántica de primer orden, verdad adecuación y coherencia, teoría de conjuntos y teoría de tipos, satisfacer designar determinar, semántica intraducente, constantes individuales y funcionales, inscripciones y denotación múltiple, inscripción y comprensión, constructivismo de primer orden
650			_aVerdad y denotación
655			_aLibros de Texto
942			_cLI _zFCEFA22
999			_c3463 _d3463 _x0