Logical foundations of computer sciencede Anil NerodeMateriasCongressesSymbolic and mathematical LogicComputer scienceComputers, congressesElectronic data processingLogic, symbolic and mathematicalEdiciones (1)Logical foundations of computer science (1994)Springer-Verlag · inglésMás obras de Anil NerodeLogic programming and non-monotonic reasoningLogic programming and non-monotonic reasoningLogical foundations of computer science--Tver '92