Pages that link to "Item:Q5056354"

The following pages link to Generalized Realizability and Basic Logic (Q5056354):

Displaying 2 items.

• A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)