Recursion Theory for Metamathematics

Discover the intricate world of mathematical logic with "Recursion Theory for Metamathematics" by Melvin Fitting, published by Oxford University Press in 1993. This thought-provoking hardback edition spans 184 pages and serves as a valuable sequel to Smullyan's exploration of Gödel's 'Incompleteness Theorems'. Building on the revolutionary concepts introduced by Kurt Gödel in 1931, this book delves into the profound implications of undecidability in mathematics. Fitting presents a comprehensive view of recursion theory and its applications to metamathematics, making it an essential read for students and scholars alike. Whether you're navigating the depths of logical structures or seeking a deeper understanding of mathematical foundations, this volume is a must-have addition to your collection. Enhance your library with this insightful guide that stands at the intersection of logic and mathematics.