Logic : form and function; the mechanization of deductive reasoning /

Logic : form and function; the mechanization of deductive reasoning /

41

מידע ביבליוגרפי
מחבר ראשי: 364822 Robinson, J. A.
פורמט:
יצא לאור: Edinburgh : Edinburgh University Press, 1979
נושאים:
Forms (Mathematics)

פריטים דומים