Mathematical logic and theoretical computer science /

Bibliographic Details

Corporate Author:	University of Maryland, College Park. Department of Mathematics
Other Authors:	Kueker, D. W., 1943-, Lopez-Escobar, Edgar G. K., 1937-, Smith, Carl H., 1950-
Format:	Book
Language:	English
Published:	New York : M. Dekker, [1987]
Series:	Lecture notes in pure and applied mathematics ; v. 106.
Subjects:	Logic, Symbolic and mathematical. Electronic data processing. Algebra.