Mendeley出力
＜図書＞
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)
| データ種別 | 図書 |
|---|---|
| 出版者 | New York : M. Dekker |
| 分 類 | LCC:QA9.2 DC19:511.3 |
| 出版年 | c1987 |
| 大きさ | xviii, 383 p. ; 25 cm |
書誌詳細を非表示
| 一般注記 | "Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref. Includes index |
|---|---|
| 著者標目 | Kueker, D. W., 1943- Lopez-Escobar, E. G. K. (Edgar G. K.), 1937- Smith, Carl, 1950- University of Maryland, College Park. Dept. of Mathematics |
| 件 名 | LCSH:Logic, Symbolic and mathematical LCSH:Electronic data processing LCSH:Algebra |
| 書誌ID | 1000013045 |
| NCID | BA00441633 |