A note on decidable model theory, Model Theory and Arithmetic (1981)

by P Clote
Venue:Lecture Notes in Mathematics 890