Pages that link to "Item:Q1153077"

The following pages link to Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077):

Displaying 1 item.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)