Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class

by Pascal Fontaine
Citations:7 - 2 self