7. van dalen. Sets, naine, axiomatic and applies pergamon, 1978. B. LOGIC 1. Bell, J. and m. machover.

A course in mathematical logic. 2. Enderton, H. A mathematical Instruction to Logic. VII. OPERATIONS RESEARCH A. OPERATIONS RESEARCH-General 1. Ackoff, R. L. and M. M. sesiene. Fundamentals of operation research. John wiley and sons. 2. Bierman, Bonini and houseman. Quantitative Analysis for Business Decision. Irwin. 3. Conway, R. W., W. L. makwell and L.W miller. Theary of scheduling 4. Gillet, billy E. instruction to operation research, A computer oriented algorithm approach new York: McGraw-hill Book Co., 1976. 5. Hiller F. and G. liebreman. Instruction to operations research. 6. Lee and Moore Instruction to decision science. Manson character, 1975. 7. Philipps, D. J., A. ravindrau and J. solberq operations research principles and practurice. John wiley and sons. 8. Sasiemi, Yaspan and friendman. Methods and Problems od operations research. . John wiley and sons. Inc. 1959 9. Taha, H. A. operations research. An instruction. B. LINEAR AND OTHER PROGRAMMING 1. Avriel, M. Non-linear Programming, An Analvsis and Methods. Prentice-hall. 2. Gass, Saul. Linear Programming, Methods and Applications. McBraw-hill, 1975. 3. Hanldey. Linear Programmins. Addision Wesley. 1962 4. Handley, G. Nonlinear and dynamic programming. 5. Loomba, Narenda and turban. Applied programming for management holf- rhinerheart, 1974 6. Mangasarian , O. L. Non-linear programming VIII. COMPUTER MATHEMATICS 1. Dweyer Thomas A. and crichfield, margot. Basic and the personal computer. Readings Massachusetts: addision-wesley publishing Co., 1978. 2. Hennie, F. Introduction to Computablability theory. Addision Wesley. 3. Hopcraft, J. and J. uliman. Introduction to automata theory, languages and Computation 2nd ed. Addison- Wesley , 1979 4. Kemeny, john G. and Kurtz, Thomas E. basic programming. 3rd ed. New York: john wiley and sons Inc., 1980. 5. Rogers, hatley book Co., 1976. 6. Saloma, A. Formal languqges. Academic press, 1973. 7. Saloma, A. theory of automata. Pergamon, 1969.