01545nam2-2200421li-450 99000020435020331620180312154701.03-540-58140-60020435USA010020435(ALEPH)000020435USA01002043520001109d1994----km-y0itay0103----baengGWLogical foundations of computer sciencethird International symposium LFCS'94St. Petersburg, Russia, July 11-14, 1994proceedingsA. Nerode (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994IX, 392 p.ill.24 cmLecture notes in computer science81300100202642001Lecture notes in computer sciencecongressist. petersburg1994linguaggi di programmazionecongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Nerode,AnilInternational symposium LFCS'943.St. Petersburg1994746219Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204350203316001 LNCS (813)001634600100103129BKSCI1995021220001110USA011714ALANDI9020010130USA01152020020403USA011628PATRY9020040406USA011615Logical foundations of computer science1489210UNISA