Pages that link to "Item:Q3138016"

The following pages link to The number of proofs for a BCK-formula (Q3138016):

Displaying 2 items.

• Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981) (← links)
• (Q4993331) (← links)