01062nam0-2200349li-450 99000016060020331620180312154818.00-12-524220-40016060USA010016060(ALEPH)000016060USA01001606020001109d1990----km-y0itay0103----baengGBLogic and computer scienceedited by Piergiorgio OdifreddiLondon [etc.]Academic Presscopyr. 1990scienza degli elaboratori004.Informatica Scienza degli elaboratoriODIFREDDI,PiergiorgioSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000160600203316004 LOG0004558BKTEC1994070420001110USA01171220020403USA011623PATRY9020040406USA011612PATRY9020070110USA011431Logic and computer science104447UNISA