P. T. Bateman

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods
Decidability and Undecidability of Theories with a Predicate for the Primes. J. Symb. Log. 58 (2) (1993)