Pages that link to "Item:Q1061740"

The following pages link to Dialogues, strategies, and intuitionistic provability (Q1061740):

Displayed 4 items.

• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus (Q351452) ‎ (← links)
• Dialogue games for many-valued logics -- an overview (Q1005947) ‎ (← links)
• The logic of tasks (Q1849860) ‎ (← links)
• Game Semantics and the Manifestation Thesis (Q2908761) ‎ (← links)