Effective content of field theory (1979)

by G Metakides, A Nerode
Venue:Ann. Math. Logic