Mathematical logic and theoretical computer science
By: edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.
Contributors: Kueker, D. W., 1943-; Lopez-Escobar, Edgar G. K., 1937-; Smith, Carl H., 1950-; University of Maryland, College Park. Dept. of Mathematics.
Series: Lecture notes in pure and applied mathematics ;; v. 106
Publisher: M. Dekker
Published: 1987
Place of publication: New York
Language: eng
Number of pages: 383
Subjects: Logic, Symbolic and mathematical.; Electronic data processing.; Algebra.
Notes: Includes bibliographies and index.
"Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref.