The following pages link to (Q3880844):
Displaying 3 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)