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


· S. Homer ... [et al.] ; editor: P. Odifreddi
Bok Språk ikke angitt 1990

Detaljer

Bibliotek som har denne