Combinatorial number-theory : a treatise on growth, based on the Goodstein-Skolem hierarchy, including a critique on non-constructive or first-order logic /
McBeth, M. A.(Muhammad Ali)
Lewistown, N.Y. ; Lampeter : E. Mellen Press,
1994.
Includes bibliographical references and index.
Hierarchies.
First-order logic.