01540nam2-2200421li-450 99000020520020331620180312154737.03-540-63045-70020520USA010020520(ALEPH)000020520USA01002052020001109d1997----km-y0itay0103----baengGWLogical foundations of computer science4th International symposium, LFCS'97Yaroslavl, Russia, July 6-12, 1997proceedingsSergei Adian ... [et al.] (eds)BerlinSpringer-Verlagcopyr. 1997IX, 429 p.ill.23 cmLecture notes in computer science123400100202642001Lecture notes in computer sciencecongressiyaroslavl1997linguaggi di programmazionecongressi1997logica matematicacongressi1997005131Logica matematica (Logica simbolica)Adian,SergeiInternational symposium LFCS'974.Yaroslavl1997747241Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205200203316001 LNCS (1234)002038700100104002BKSCI1997102520001110USA011714ALANDI9020010202USA01120320020403USA011628PATRY9020040406USA011615Logical foundations of computer science1492545UNISA