Trapiche
Introduction to metamathematics, de Stephen Cole Kleene · Trapiche