Equational logic as a programming languagede O'Donnell, Michael J.4.0 · 1 votosMateriasTheory of EquationsSymbolic and mathematical LogicProgramming languages (Electronic computers)Ediciones (1)Equational logic as a programming language (1985)MIT Press · inglésMás obras de O'Donnell, Michael J.