Piergiorgio Odifreddi’s Classical Recursion Theory: The Theory of Functions and Sets as Computing Devices (Volumes I and II) is recognized as a definitive, encyclopedic text covering foundational and advanced concepts in mathematical logic. The work is noted for its rigorous breadth, historical context, and an engaging, scholarly tone that bridges set theory with computation. Read user reviews and summaries at Goodreads .
Classical Recursion Theory: The Theory Of Funct... 〈2025〉
Piergiorgio Odifreddi’s Classical Recursion Theory: The Theory of Functions and Sets as Computing Devices (Volumes I and II) is recognized as a definitive, encyclopedic text covering foundational and advanced concepts in mathematical logic. The work is noted for its rigorous breadth, historical context, and an engaging, scholarly tone that bridges set theory with computation. Read user reviews and summaries at Goodreads .