Formal Methods
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Edición de la obra Formal Methods
| Autor | E. W. Beth |
|---|---|
| Editorial | Springer Netherlands |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9789401032711 |
| Número de Cutter | B562f |