000 00806nam a2200289 i 4500
001 000010442
003 UVAL
005 20240507113348.0
007 ta
008 990224s1967 esp 00010 spa d
040 _aDIBRA
_cUVAL
_bspa
_erda
082 0 0 _a510.4
100 1 _aCurry, Haskell,
_eautor.
245 1 0 _aLógica combinatoria /
_cHaskell Curry.
264 1 _aMadrid :
_bTecnos,
_c1967.
300 _a508 páginas. .
347 _2rda
_atext file
_bPDF
490 0 _aEstructura y función : el porvenir actual de la ciencia
650 0 _aLOGICA COMBINATORIA.
650 0 _aLOGICA MATEMATICA.
650 0 _aSILOGISMO.
700 1 _aFeys, Robert,
_e, autor.
942 _cBK
_2ddc
999 _c7239
_d7239