Description

This book presents a systematic, unified treatment of fixed points as they occur in Godel\'s incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offer...

Read more