R. L. Constable · 5 obras en el catálogoObrasAn Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)IImplementing mathematics with the Nuprl proof development syImplementing mathematics with the Nuprl proof development systemLogic and Program SemanticsAn introduction to the PL/CV2 programming logicA programming logic
IImplementing mathematics with the Nuprl proof development syImplementing mathematics with the Nuprl proof development system