Pages that link to "Item:Q3787974"
From MaRDI portal
The following pages link to Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae (Q3787974):
Displayed 2 items.