المباحث العامة
page5# | اسم الكتاب | رقم الكتاب | الطبعة | اسم المؤلف | رقم التصنيف | تاريخ النشر | مكان الكتاب | حالة الكتاب |
---|---|---|---|---|---|---|---|---|
51 | INTRODUCTION TO COMBINATORS & THE LAMBDA-CALCULUS | 211371 | 1 | HINDLEY - J - ROGER | 511.6HIN | 1988 | وادي الهرية | غير معار |
52 | Applied Combinatorics | 211579 | 1 | Tucker - Alan | 511.6 TUC | 1980 | وادي الهرية | غير معار |
53 | MATHEMATICAL THEORY OF COMPUTATION | 211588 | 1 | MANNA - ZOHAR | 511.3MAN | 1974 | وادي الهرية | غير معار |
54 | The Foundations of Mathematics | 211624 | 1 | Beth - Evert W. | 511BET | 1959 | وادي الهرية | غير معار |
55 | SETS, LOGIC, AND AXIOMATIC THEORIES | 211632 | 2nd | STOLL - ROBERT R | 511.3STO | 1961 | وادي الهرية | غير معار |
56 | Remarks on the Foundations of Mathematics | 211637 | 1 | Wittgenstein - Ludwing | 511WIT | 1967 | وادي الهرية | غير معار |
57 | AN INTRODUCTION TO COMBINATORS & LAMBDA-CALCULUS | 211641 | 1 | HINDLEY - J. ROGER | 511,E6HIN | 1986 | أبو رمان | غير معار |
58 | Mathematical Logic and Hilbert's Symbol | 211644 | 1 | Leisenring - A. C. | 511.3LEI | 1969 | وادي الهرية | غير معار |
59 | Lecture Notes in Economics and Mathematical Systems | 211645 | 1 | MARCHESINI - G | 511.2MAR | 1976 | وادي الهرية | غير معار |
60 | Maths | 212340 | 1 | Olive - Jenny | 511OLI | 1998 | أبو رمان | غير معار |