01017nam0-2200361li-450 99000016065020331620180312154846.03-7643-3570-X0016065USA010016065(ALEPH)000016065USA01001606520001109d1991----km-y0itay0103----baengGBLogic of domainsGuo-Qiang ZhangBristol [etc.]Birkauser1991linguaggi di programmazione semanticalogica matematicalogica simbolica005.13.Zhang,Guo-Qiang754380Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000160650203316005.13 ZHA0002488BKTEC1995080720001110USA01171220020403USA011623PATRY9020040406USA011612Logic of domains1517941UNISA