Logic and computer science : lectures given at the 1. 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
Pubbl/distr/stampa
Berlin [etc.] : Springer, c1990
ISBN
3-540-52734-6
Descrizione fisica
162 p. ; 25 cm.
Collana
Lecture notes in mathematics ; 1429
Disciplina
005.131
Soggetti
Logica matematica - Applicazioni alla programmazione degli elaboratori elettronici - Congressi