Pages that link to "Item:Q334991"
From MaRDI portal
The following pages link to Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991):
Displayed 3 items.
The following pages link to Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991):
Displayed 3 items.