Log in :: RSS/Atom Feeds
Lecture Notes in Logic

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

Dorella Bellè, Franco Parlamento

Source: Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996), 183-194.

Full-text: Open access

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.lnl/1235417022

back to Table of Contents

2009 © Association for Symbolic Logic