Pages that link to "Item:Q481876"

The following pages link to The de Jongh property for basic arithmetic (Q481876):

Displaying 1 item.

• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)