Nerode, A.
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
Handbook of recursive mathematics /
by:
Ershov, Yu. L.; Goncharov, S. S.; Marek, V. W.; Nerode, A.; Remmel, J. B.
(Language materials, printed)