Foundations of recursive model theory (1978)

by T S Millar
Venue:Annals of Mathematical Logic