CComputer Programming and Formal SystemsComputer Programming and Formal Systemsde Lev D. BeklemishevMateriasComputer science, mathematicsEdiciones (1)Computer Programming and Formal Systems (2000)Elsevier Science & Technology Books · inglés · ISBN 9780080957555Más obras de Lev D. BeklemishevLogic, Language, Information and Computation