Pages that link to "Item:Q1135835"

The following pages link to What does logic have to tell us about mathematical proofs? (Q1135835):

Displaying 4 items.

• And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
• The lazy logic of partial terms (Q4779651) (← links)
• Reshaping the metaphor of proof (Q5204811) (← links)