01100nam0-2200361li-450 99000014962020331620180312154740.00-262-15028-X0014962USA010014962(ALEPH)000014962USA01001496220001109d1986----km-y0itay0103----baengUSEquational logic as a programming languageMichael J. O'DonnellCambrdige (Mass.) ; London (England)MIT Presscopyr. 1986linguaggi di programmazionelogica matematicalogica simbolica005.131.O'Donnell,Michael J.746976Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000149620203316005.131 ODO0006293BKTEC1995112220001110USA01171220020403USA011622PATRY9020040406USA011611Equational logic as a programming language1491671UNISA