Pages that link to "Item:Q5619082"
From MaRDI portal
The following pages link to Provability with Finitely Many Variables (Q5619082):
Displaying 6 items.
- The relational model of data and cylindric algebras (Q761801) (← links)
- On conservative extensions in logics with infinitary predicates (Q1037594) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- The Neat Embedding Problem and the Number of Variables Required in Proofs (Q3204457) (← links)
