فرزانگی | The Compendious Book on Calculation by Completion and Balancing

درون‌شد هموندی

Philosophy Logic Mathematics Computing

Ontology Persian Translator Logic Lab Hall of Fame Library Dictionary About

On this page:

Languages:

PA	نبیگ فشرده در افماریک جبر و تراز کردن

View

499

Last Modified

Sat Aug 06, 2022

Author of page

The Compendious Book on Calculation by Completion and Balancing

Participants:

گسترش‌ها

Mohammad ibn Musa al-Khwarizmi

Mohammad ibn Musa al-Khwarizmi

(780 – 850)

تاربرگ‌های پیموده‌شده در این نشست: Double Negation Elimination ⟩ Strict implication ⟩ Kreisel–Putnam logic ⟩ Entailment

Back to top FARZANEGI© | 2025