000 00712nam a2200253 i 4500
001 000001249
003 UVAL
005 20240507113227.0
007 ta
008 990224s1961 njua 00010 eng d
040 _aDIBRA
_bspa
_cUVAL
_erda
041 0 _aeng
082 0 0 _a164
100 1 _aSmullyan, Raymond M.,
_eautor.
245 1 0 _aTheory of formal systems /
_cRaymond M. Smullyan.
264 1 _aPrinceton, New Jersey :
_bPrinceton University Press,
_c1961.
300 _a147 páginas :
_bilustraciones.
347 _2rda
_atext file
_bPDF
650 0 _aLOGICA SIMBOLICA.
942 _cBK
_2ddc
999 _c1249
_d1249