Pages that link to "Item:Q281010"

The following pages link to On elementary theories of ordinal notation systems based on reflection principles (Q281010):

Displaying 2 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• Reflection calculus and conservativity spectra (Q5377088) (← links)