- Salvar
- Compartilhar
Symbolic Logic and Mechanical Theorem Proving - Chin-liang Chang - 9780121703509
Quer pagar mais barato?
Avisamos quando o preço baixar
Ficha técnica
Informações Básicas
| ISBN | 9780121703509 |
|---|---|
| ISBN-10 | 0121703509 |
| Título | Symbolic Logic and Mechanical Theorem Proving |
| Autor | Chin-liang Chang |
| Editora | Academic Press |