000 00519nam a22002057a 4500
001 MAXI-044630
003 AR-CdUCS
005 20180503120425.0
008 170515s1952####xx#|||||||||||||||||spa|d
040 _aAR-CdUCS
080 _a164
_x(023)
100 1 _aCurry, Haskell B
245 1 _aLecons de logique algébraique
260 _aParis :
_bGauthier,
_c1952
300 _a163p.;
_c25 cm.
490 _aLogique mathématique. Série A.;
_v2
650 4 _aManual
650 4 _aLógica matemática
942 _cBK
999 _c166401
_d166401