Pages that link to "Item:Q1749804"

The following pages link to On the costs of nonclassical logic (Q1749804):

Displaying 2 items.

• Truth, partial logic and infinitary proof systems (Q1653651) (← links)
• Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)