Renate A. Schmidt

1 book • 1 series

Apr 17, 2008
Cover of Second-order Quantifier Elimination

Second-order Quantifier Elimination (Studies in Logic: Mathematical Logic and Foundations, v. 12)