The following pages link to (Q4896508):
Displaying 3 items.
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- A computational algebraic geometry approach to enumerate Malcev magma algebras over finite fields (Q2831035) (← links)
- The complexity of the modal predicate logic of “true in every transitive model of ZF” (Q4382481) (← links)