Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.
Title:
Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.
Publisher:
New York : M. Dekker,
Publication Date:
1987
ISBN:
9780824777463
Series Search:
General Note:
"Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref.
Bibliography Note:
Includes bibliographies and index.
Content Type:
text
Carrier Type:
volume
Local Note:
DSU-264985
MSU Volume:
v. 106.
Added Corporate Author:
Language:
English
