Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND (0)

by Morteza Moniri
Venue:Journal of Logic and Computation