Second-order and inductive definability on finite structures. Zeitschr. f. math. Logik und Grundlagen d (1987)

by Michel de Rougemont
Venue:Math