Pages that link to "Item:Q1653548"

The following pages link to Two early Arabic applications of model-theoretic consequence (Q1653548):

Displaying 4 items.

• Universal logic: evolution of a project (Q1653546) (← links)
• Medieval Arabic Notions of Algorithm: Some Further Raw Evidence (Q5049046) (← links)
• Schopenhauer’s Eulerian Diagrams (Q5118386) (← links)
• A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (Q6041341) (← links)