01109nam a2200325 i 450099100109528970753620020507183155.0950913s1981 de ||| | eng 3540111603b10800220-39ule_instLE01306939ExLDip.to Matematicaeng001.6425511.3AMS 68-06AMS 68-XXEngeler, Erwin46589Logic of programs :workshop, ETH Zurich, May-July 1979 /edited by Erwin EngelerBerlin :Springer-Verlag,1981245 p. :ill. ;25 cm.Includes bibliographiesComputer programsCongressesComputer scienceCongressesSymbolic logicCongresses.b1080022021-09-0628-06-02991001095289707536LE013 68-XX ERG11 (1981)12013000035505le013-E0.00-l- 00000.i1090406228-06-02Logic of programs925480UNISALENTOle01301-01-95ma -engde 01