---

＜図書＞
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)

出版者	New York : Dekker
出版年	c1987.
大きさ	xviii, 383 p. : ill. ; 26 cm.
著者標目	Kueker, D. W., 1943- Lopez-Escobar, Edgar G. K., 1937- Smith, Carl, 1950- University of Maryland, College Park. Dept. of Mathematics
件　名	Logic, Symbolic and mathematical Electronic data processing Algebra
一般注記	""Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985""--Pref.

 類似資料