Clausal form logic an introduction to the logic of computer reasoning

מידע ביבליוגרפי
מחבר ראשי: Richards, Tom
פורמט: ספר
שפה:English
יצא לאור: Sydney Addison-Wesley c1989.
נושאים: