Export Mendeley
＜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 |