Publisher
Springer Nature Switzerland
Reference145 articles.
1. Ackermann, W.: Solvable Cases of the Decision Problem. North-Holland Pub. Co., Amsterdam (1954)
2. Aczel, P.: Non-Well-Founded Sets, vol. 14. CSLI Lecture Notes, Stanford (1988)
3. Barwise, J., Moss, L.: Hypersets. Math. Intell. 13(4), 31–41 (1991)
4. Behmann, H.: Beiträge zur Algebra der Logik insbesondere zum Entscheidungsproblem. Math. Ann. 86, 163–220 (1922)
5. Bellè, D., Parlamento, F.: Truth in V for $$\exists ^\ast \forall \forall $$-sentences is decidable. J. Symb. Logic 71(4), 1200–1222 (2006)