01142nam0-22003491i-450-99000131520040332120031029115424.00-387-97667-1000131520FED01000131520(Aleph)000131520FED0100013152020001205d1991----km-y0itay50------baengLogic from computer scienceproceedings of a workshop held november 13-17, 1989editor Yiannis N. MoschovakisNew YorkSpringer-Verlagc1991XI, 608 p.24 cmMathematical Sciences Research Institute publications21LogicaSimbolicaCongressiLogicaMatematicaCongressiComputer scienceCongressi511.3Moschovakis,Yiannis NicholasWorkshop on logic from computer science<1989 ;Berkeley, California>350418ITUNINARICAUNIMARCBK990001315200403321C-38-(219172MA1MA103-06Logic from computer science382661UNINA