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
Homer, Steven ; Platek, Richard A (19..-...) ; Scedrov, Andre ; Nerode, Anil (1932-...) ; Sacks, Gerald Enoch (1933-...) ; Odifreddi, Piergiorgio (1950-...) (Ed.) ; Centro internazionale matematico estivo (Ed.)
Appartient à la collection : Lecture notes in mathematics, 1429, ISSN 0075-8434