عنوان
پدید آورنده
موضوع
رده
QA 9 .2 .M35 1987
QA
9
.
2
.
M35
1987
کتابخانه
محل استقرار
89671
آخر۲۷
English
)20(
Mathematical logic and theoretical computer science
New York
M. Dekker
1987
xviii, 383 p. : ill. ; 26 cm
Lecture notes in pure and applied mathematics, v. 601
Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985--Pref
Includes bibliographies and index
، Logic, Symbolic and mathematical
، Electronic data processing
، Algebra
QA
9
.
2
.
M35
1987
TI
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
AU rekeuK 1943-
AU rabocsE-zepoL 1937-
AU htimS 1950-
CO University of Maryland, College Park, Dept. of Mathematics
SE
02
