خرید و دانلود نسخه کامل کتاب Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre

منطق و اثبات خودکار: مقدمه ای بر منطق گزاره ای و منطق مرتبه اول

Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre

نویسنده: Stéphane Desvismes, Pascal Lafourcade, Michel Lévy

ناشر: Ellipses-Edition Marketing SA, draft, 2012

سال انتشار: 2012

تعداد صفحات: 143

زبان: French

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 943 کیلوبایت