< Back to previous page
Publication
Ackermannian Goodstein principles for first order Peano arithmetic
Book Contribution - Chapter
Book: Sets and computations
Series: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Pages: 157 - 181
ISBN:9789813223530
Publication year:2017
Accessibility:Closed