• 题名: Recursive Number Theory A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
    作者: R.L. Goodstein
    索书号: http://www.sciencedirect.com/science/book/9780444533852
在架