טוען...

An introduction to mathematical logic and type theory : to truth through proof /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Andrews, P. B. (Peter Bruce), 1937-
פורמט: ספר
שפה:אנגלית
יצא לאור: Orlando : Academic Press, 1986.
סדרה:Computer science and applied mathematics
נושאים:
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!