000			01209nam a2200433 i 4500
001			000019488
003			UVAL
005			20240507113521.0
007			ta
008			990224s1987 esp 00010 spa d
020			_a9688379271
040			_aDIBRA _bspa _cUVAL _erda
082	0	0	_a149.94
100	0		_aFraassen, Bas C. van, _eautor.
245	0	0	_aSemántica formal y lógica / _cBas C. van Fraassen.
264		1	_aMéxico : _bUniversidad Nacional Autónoma de México, _c1987.
300			_a245 páginas.
347			_2rda _atext file _bPDF
600	0	0	_aLOWEHEIM, LEOPOLD.
650		0	_aLOGICA.
650		0	_aSEMANTICA.
650		0	_aLENGUAJES FORMALES.
650		0	_aCALCULO PROPOSICIONAL.
650		0	_aLOGICA CUANTIFICACIONAL.
650		0	_aTEORIA DE MODELOS.
650		0	_aMATRICES (MATEMATICAS)
650		0	_aIDENTIDAD.
650		0	_aFILOSOFIA.
650		0	_aTEOREMAS.
650		0	_aLOGICA MULTIVALUADAS.
650		0	_aLOGICA MODAL.
650		0	_aVERDAD.
650		0	_aLOGICA DE PRESUPOSICION.
740	0		_aFilosofía Contemporánea.
942			_cBK _2ddc
999			_c13342 _d13342