byteCoderStop! Mathematical logic by Kleene, a founder of recursion theory, is publicly available for all, on...
Shared by Didier 'Dirac's ghost' Gaulin @DiracGhost on X
Stop! Mathematical logic by Kleene, a founder of recursion theory, is publicly available for all, on the internet archive website! This is the book I first used to learn the subject, and his breakdown of Godel's completeness theorem is still my favorite link in the comments https://t.co/qAd0R911E0
Stop! Mathematical logic by Kleene, a founder of recursion theory, is publicly available for all, on the internet archive website! This is the book I first used to learn the subject, and his breakdown of Godel's completeness theorem is still my favorite link in the comments https://t.co/qAd0R911E0