000 00545nam a2200193 4500
001 VA40160
003 ES-SlBCS
005 20210601154136.0
008 140520s1991 xxu||||| |||| 00| 0 spa d
041 _aspa
100 1 _aLolli, Gabriele
_9202766
245 1 0 _aLa máquina y las demostraciones
_b:Matemáticas, lógica e informática
_cGabriele Lolli; J. Hernández
260 _aMadrid :
_bAlianza
_c, 1991
300 _a131 p.;
_c20 cm
490 0 _aAU
_v697
650 _aLógica
_914736
700 1 0 _aHernández, J.
_9361547
942 _cBK
999 _c800626
_d800626