01798nam 2200433 450 00001615620050718115600.00-387-97667-120030903d1992----km-y0itay0103----baengUSLogic from computer scienceproceedings of a workshop held November 13-17, 1989Y. N. Moschovakis, editorNew York [etc.]Springerc1992XI, 608 p.ill.24 cm.Mathematical sciences research institute publications212001Mathematical sciences research institute publicationsLogica matematicaCongressiLogica simbolicaCongressiInformaticaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03-06Mathematical logic and foundation. Proceedings, conferences, collections, etc.68-06Computer science. Proceedings, conferences, collections, etc.68QxxComputer science. Theory of computing03D05Mathematical logic and foundations. Automata and formal grammars in connection with logical questionsMoschovakis,Yiannis N.ITUniversità della Basilicata - B.I.A.RICAunimarc000016156Logic from computer science82112UNIBASMONSCISCIENZEEXT0030120030903BAS01170020050601BAS011755batch0120050718BAS01105220050718BAS01111220050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT1267M12672003090351Riservati