Metafinite model theory (1998)

by Yuri Gurevich
Venue:Information and Computation
Citations:64 - 10 self