Pages that link to "Item:Q622627"

The following pages link to On the proof-theory of two formalisations of modal first-order logic (Q622627):

Displaying 1 item.

• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)