<Books>
Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
(Lecture notes in pure and applied mathematics ; v. 106)
Material Type | Books |
---|---|
Publisher | New York : M. Dekker |
Classification | LCC:QA9.2 DC19:511.3 |
Year | c1987 |
Size | xviii, 383 p. ; 25 cm |
Hide book details.
Hide details.
Notes | "Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref. Includes index |
---|---|
Authors | Kueker, D. W., 1943- Lopez-Escobar, E. G. K. (Edgar G. K.), 1937- Smith, Carl, 1950- University of Maryland, College Park. Dept. of Mathematics |
Subjects | LCSH:Logic, Symbolic and mathematical LCSH:Electronic data processing LCSH:Algebra |
ID | 1000013045 |
NCID | BA00441633 |