Maximal theories, Annals of Pure and (1987)

by R Downey
Venue:Applied Logic