Pages that link to "Item:Q2246818"

The following pages link to General recursive realizability and intuitionistic logic (Q2246818):

Displaying 1 item.

• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)