Induction, recursion, and programmingde Mitchell WandMateriasComputer programmingInduction (Mathematics)Recursion theoryEdiciones (1)Induction, recursion, and programming (1980)North Holland · inglésMás obras de Mitchell WandVLISP A Verfied Implementation of SchemeMMathematical foundations of formal language theoryMathematical foundations of formal language theoryVer todas las obras de Mitchell Wand →
MMathematical foundations of formal language theoryMathematical foundations of formal language theory