Pages that link to "Item:Q3949046"

The following pages link to Constructive assertions in an extension of classical mathematics (Q3949046):

Displaying 3 items.

• The knowing mathematician (Q795810) (← links)
• Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity (Q2900535) (← links)
• INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433) (← links)