RelBib: [Rezension von: Goodstein, R. L., Recursive Number Theory. A development of recursive arithmetic in a logic-free equation calculus] https://relbib.de/Record/1784775606