LLogic for applicationsLogic for applicationsde Anil Nerode · Publicada por primera vez en 1993MateriasLogic programmingLogic, Symbolic and mathematicalSymbolic and mathematical LogicEdiciones (1)Logic for applications (1993)Springer-Verlag · inglésMás obras de Anil NerodeLogical foundations of computer scienceRecursion theoryLogic for Applications