Pages that link to "Item:Q1322849"

The following pages link to A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849):

Displaying 2 items.

• The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158) (← links)
• Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case (Q4884668) (← links)