A Decision Procedure for the Weak Second Order Theory of Linear Order
- 1 January 1968
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- On the elementary theory of linear orderFundamenta Mathematicae, 1966
- Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes RestreintsMathematical Logic Quarterly, 1956