TThe interactive proof editorThe interactive proof editorde Brian RitchieEdiciones (1)The interactive proof editor (1988)University of Edinburgh, Laboratory for Foundations of Computer Science · inglésMás obras de Brian RitchieRavenDB High PerformanceAAnointedAnointedTTaste of DivineTaste of Divine