Decidability of the $\exists^*\forall^*$-class in the membership theory NWL

Open Access

VOL. 6 | 1996 Decidability of the $\exists^*\forall^*$-class in the membership theory NWL

Dorella Bellè, Franco Parlamento

Editor(s) Petr Hájek

Lecture Notes Logic, 1996: 183-194 (1996)

First Page PDF

CHAPTER
12 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Vol. 6 • 1 January 1996

Association for Symbolic Logic