Pages that link to "Item:Q866565"
From MaRDI portal
The following pages link to Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565):
Displayed 2 items.
The following pages link to Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565):
Displayed 2 items.