Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.  
   

 
שם המחבר Wallen, Lincoln
מקום ההוצאה Cambridge, Massachusetts , London
מוציא לאור MIT
שנת הוצאה 1990
שפה אנגלית
תיאור הספר
235x180 mm. 239 pages. Hardcover with nylon jacket. in good condition.
שימו לב:
  • יידרשו עד 2 ימי עסקים להביא ספר זה מהמחסן. אם ברצונכם לרכוש את הספר בחנות, אנא הזמינו את הספר מראש בהתאם.
מחיר ₪242.10 + משלוח
מספר קטלוגי AR 542 003

גלריית תמונות
(להגדלת תמונה, הקלק עליה)
כריכה קדמית

ספרים נוספים בנושא:
לוגיקה
מתמטיקה

 
דף הבית     אודות הגלריה     חיפוש מתקדם     קונים ספרים משומשים     צור קשר     עזרה!
רח' שץ 6 (פינת רח' המלך ג'ורג' 26), ירושלים
ליד בית האמנים ומכללת בצלאל

דואר אלקטרוני: info@bookgallery.co.il

טל: 02-6231087

פקס: 02-6255513