00948cam0-22003611i-450-99000126341040332120050203102202.090-277-0781-2000126341FED01000126341(Aleph)000126341FED0100012634120001205d1977----km-y0itay50------baengUSAdvanced logic for applicationsRichard E. GrandyBoston [etc.]Reidel1977xi, 168 p.21 cmSynthese Library110LogicaRicorsività160Grandy,Richard E.47341ITUNINARICAUNIMARCBK99000126341040332110-L-2920267MA17-23011719FI1C-25-(11019735MA1FI1MA1Advanced logic for applications381086UNINA