Basic Logic and Its Applications in Computer Science

Functional Analysis and Operator Theory: Proceedings of a Conference held in Memory of U.N.Singh, New Delhi, India, 2-6 August, 1990 (Lecture Notes in Mathematics)