Recomienda este artículo a tus amigos:
Model Theory - Oxford Logic Guides Manzano, Maria (Profesora Titular de Logica, Profesora Titular de Logica, Universidad de Salamanca, Spain)
Model Theory - Oxford Logic Guides
Manzano, Maria (Profesora Titular de Logica, Profesora Titular de Logica, Universidad de Salamanca, Spain)
Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between mathematical structures and logic languages. The text includes historical information before each topic is introduced. The motivation of the subject and the proofs are explained.
263 pages, numerous line figures
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 29 de abril de 1999 |
| ISBN13 | 9780198538516 |
| Editores | Oxford University Press |
| Páginas | 264 |
| Dimensiones | 242 × 166 × 23 mm · 548 g |
| Lengua | Inglés |
| Traductor | Queiroz, Ruy De (Departamento de Informatica, Departamento de Informatica, Universidade Federal de Pernambuco, Brazil) |