Pages that link to "Item:Q2530930"

The following pages link to A detailed argument for the Post-Linial theorems (Q2530930):

Displaying 7 items.

• Translations and structure for partial propositional calculi (Q1211980) (← links)
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
• Alfred Tarski and undecidable theories (Q3764095) (← links)
• A note on finite axiomatization of partial propositional calculi (Q5545947) (← links)
• The equivalence of some general combinatorial decision problems (Q5556434) (← links)
• A complex of problems proposed by Post (Q5557938) (← links)
• (Q6060673) (← links)