sebina, you, services, library, user

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

Write a review  and share it with other readers.