טוען...

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /

מידע ביבליוגרפי
מחבר ראשי:	Beth, Evert W.
פורמט:	Printed Book
שפה:	English
יצא לאור:	Dordrecht : D.Reidel, 1962.
נושאים:	Logic, Symbolic and mathematical

פרטי מלאי ספרים מ University of Calicut
סימן המיקום:	164 BET/F
עותק	סטטוס עדכני לא זמין

פריטים דומים