دانلود کتاب Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre
by Stéphane Desvismes
|
عنوان فارسی: منطق و تظاهرات به صورت خودکار: مقدمه ای بر منطق گزاره و منطق مرتبه اول |