Pages that link to "Item:Q828116"

From MaRDI portal

← General recursive realizability and basic logic (Q828116)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

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

Displaying 4 items.

Realizing Brouwer's sequences (Q1923574) (← links)
General recursive realizability and intuitionistic logic (Q2246818) (← links)
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)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q828116"