Logic And Computation
Interactive Proof With Cambridge Lcf
- Editore:
Cambridge University Press
- EAN:
9780521346320
- ISBN:
0521346320
- Pagine:
- 320
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti