opac, catalogo, online,servizi, biblioteca, sebina

Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson. - Cambridge [etc.] : Cambridge University Press, 1987. - XIII, 302 p. ; 26 cm.

Paulson, Lawrence C.

Testo a stampa (moderno) 1987

Scrivi una recensione  e condividila con gli altri lettori.