A conservation result (1969)

by R Parikh
Venue:Application of Model Theory