Studies in Logic: Mathematical Logic and Foundations

1 total work

Second-order Quantifier Elimination

by Dov Gabbay, Renate A. Schmidt, and Andrzej Szalas

Published 17 April 2008