Pages that link to "Item:Q3586011"
From MaRDI portal
The following pages link to Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (Q3586011):
Displaying 5 items.
- Logical consequence in Avicenna's theory (Q2418016) (← links)
- Ibrāhīm ibn Sinān: On Analysis and Synthesis (Q4764641) (← links)
- Medieval Arabic Notions of Algorithm: Some Further Raw Evidence (Q5049046) (← links)
- IBN SĪNĀ ON REDUCTIO AD ABSURDUM (Q5357330) (← links)
- A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (Q6041341) (← links)