Pages that link to "Item:Q5100054"

The following pages link to MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054):

Displaying 2 items.

• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
• Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)