000 00934nam a2200253 i 4500
001 100021466
003 UVAL
005 20240507114651.0
007 ta
008 990224s esp 00010 spa d
040 _aDIBRA
_cUVAL
_bspa
_erda
084 _aS.T
100 0 _aSantibañez Merino, Fabio,
_eauthor.
245 0 0 _aDemostración de algunas propiedades formales del sistema de lógica sentencial de Jan Lukasiewicz.
264 3 _aViña del Mar, Chile :
_bUniversidad de Valparaíso,
_c1994
300 _a60 hojas.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
502 _aTesis para optar al Grado Académico de Licenciado en Filosofía.
700 1 _aVillegas Torrealba, Jaime,
_eProfesor guía
_949191.
710 2 _aUniversidad de Valparaíso (Chile).
_bFacultad de Humanidades.
_bInstituto de Estudios Humanísticos
_997556.
942 _c1
_2ddc
999 _c60193
_d60193