Pages that link to "Item:Q2259003"
From MaRDI portal
The following pages link to Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003):
Displayed 1 item.
- (Q6060673) (← links)