Pages that link to "Item:Q1075050"

The following pages link to A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050):

Displaying 2 items.

• Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)