Fitting, Melvin, 1942-
להגדלת הטקסט להקטנת הטקסט-
אישיות
|
מספר מערכת
987007450230705171
מידע על הזהות:
שם ראשי (לועזית)
Fitting, Melvin, 1942-
רמיזות
Fitting, Melvin Chris, 1942-
תאריך לידה
1942-01-24
מגדר
male
MARC
MARC
מקורות מידע
- His Intuitionistic logic ... 1969.
- His Fundamentals of generalized recursion theory, 1981:t.p. (Melvin Fitting)
- His Proof methods for modal and intuitionistic logic, c1983:CIP t.p. (Melvin Fitting) CIP data sheet (b. 1942)
- His First-order logic and automated theorem proving, c1990:CIP t.p. (Melvin Fitting)