Trapiche
Introduction to metamathematics., de Stephen Cole Kleene · Trapiche