Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic (1991)

by Robert A Di Paola, Franco Montagna
Venue:J. Symbolic Logic