The following pages link to (Q4047525):
Displayed 4 items.
- Constructive formalization of the Tennenbaum theorem and its applications (Q803126) (← links)
- Modified realizability and predicate logic (Q1274048) (← links)
- Finite problems and the logic of the weak law of excluded middle (Q2387846) (← links)
- A survey of predicate realizability logic (Q2510768) (← links)