00883nam0-22003131i-450-9900014326004033210-8247-0026-0000143260FED01000143260(Aleph)000143260FED0100014326020000920d1997----km-y0itay50------baengComplexity, Logic, and Recursion TheoryEdited by Andrea SorbiNew York [etc.]Marcel Dekker1997viii, 363 p.25 cmLecture notes in pure and applied mathematics187LogicaRicorsività160Sorbi,Andrea59072ITUNINARICAUNIMARCBK9900014326004033217-2975942FI1FI1Complexity, Logic, and Recursion Theory374890UNINAING01