Nerode, A.
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic and computer science : = lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
by:
Nerode, A.; Platek, R. A.; Sacks, G. E.; Scedrov, A.; Homer, S.; Odifreddi, Piergiorgio, (1950-); Centro internazionale matematico estivo.
(書目-語言資料,印刷品)
Handbook of recursive mathematics /
by:
Ershov, Yu. L.; Goncharov, S. S.; Marek, V. W.; Nerode, A.; Remmel, J. B.
(書目-語言資料,印刷品)