Pages that link to "Item:Q828116"

The following pages link to General recursive realizability and basic logic (Q828116):

Displaying 2 items.

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