000 01242nam a2200313 i 4500
001 100020185
003 UVAL
005 20240528114555.0
007 ta
008 990224s1989 cl a 00010 spa d
040 _aDIBRA
_bspa
_cUVAL
_erda
084 _aS.T.
100 1 _aQuezada Pulido, Wilfredo
_949183,
_eauthor.
245 0 0 _aLógica modal :
_b: una mecanización alternativa para la semántica de los mundos posibles de Kripke /
_cWilfredo Quezada Pulido.
264 1 _aViña del Mar :
_bUniversidad de Valparaíso,
_c1989.
300 _a124 hojas :
_b: il. .
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
500 _aIncluye índice.
502 _aMagíster en Filosofía. Mención Lógica y Filosofía de las Ciencias.
504 _aBibliografía: h. 120-124.
600 0 4 _aKRIPKE, SAUL
_949182.
650 4 _aLOGICA EPISTEMICA
_957555.
650 4 _aMODALIDAD (LOGICA)
_9122455.
700 1 _aVerdugo Serna, Carlos
_eProfesor guía.
_918633
710 2 _aUniversidad de Valparaíso (Chile).
_bFacultad de Derecho y Ciencias Sociales.
_bInstituto de Estudios Humanístico.
_bMagister en Lógica y Filosofía de las Ciencias
_9226794.
942 _c5
_2ddc
999 _c60189
_d60189