Effective content of field theory (1979)

by G Metakides, A Nerode
Venue:Annals of Mathematical Logic