01046nam0-2200349li-450 99000014411020331620180312154715.03-540-53437-70014411USA010014411(ALEPH)000014411USA01001441120001109d1990----km-y0itay0103----baengGWComputational logicsymposium, proceedings Brussels, November 13-14, 1990J.W. Lloyd, edBerlin [etc.]Springercopyr. 1990logica matematica congressi 1990logica simbolica congressi 1990511.3.Lloyd,John W.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000144110203316511.3 COM0004737BKTEC1994072720001110USA01171220020403USA011622PATRY9020040406USA011611Computational logic1490021UNISA