Pages that link to "Item:Q392280"
From MaRDI portal
The following pages link to Intuitionistic completeness of first-order logic (Q392280):
Displaying 6 items.
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language (Q2947456) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
