Hilbert Levitz

Publication Activity (10 Years)

Years Active: 1975-1997
Publications (10 Years): 0

Publications

James P. Jones, Hilbert Levitz, Warren D. Nichols
On Series of Ordinals and Combinatorics. Math. Log. Q. 43 (1997)
Hilbert Levitz, Warren D. Nichols, Robert F. Smith
A Macro Program for the Primitive Recursive Functions. Math. Log. Q. 37 (8) (1991)
Hilbert Levitz, Warren D. Nichols
A Natural Variant of Ackermann's Function. Math. Log. Q. 34 (5) (1988)
Hilbert Levitz, Warren D. Nichols
Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen. Math. Log. Q. 33 (6) (1987)
James P. Jones, Hilbert Levitz, A. J. Wilkie
Classification of Quantifier Prefixes Over Exponential Diophantine Equations. Math. Log. Q. 32 (25-30) (1986)
Hilbert Levitz
Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations. Math. Log. Q. 31 (7-8) (1985)
Hilbert Levitz
Calculation of an Order Type: An application of Non-Standard Methods. Math. Log. Q. 28 (14-18) (1982)
Hilbert Levitz
An ordered set of arithmetic functions representing the least ε-number. Math. Log. Q. 21 (1) (1975)