A. Nerode · 5 obras en el catálogoObrasLLogic and Computer ScienceLogic and Computer SciencePPrinciples of Logic and Logic ProgrammingPrinciples of Logic and Logic ProgrammingCCombinatorial FunctorsCombinatorial FunctorsRRecursive Model TheoryRecursive Model TheoryRRecursive Algebra, Analysis and CombinatoricsRecursive Algebra, Analysis and Combinatorics