DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
úsqueda
Resultados para Editorial: Oxford University Press, Tema: Logica, Textos (1 a 2 de 2)
|  |
Título | Proof And Disproof In Formal Logic. An Introduction For Programmers | Precio | $1232.00 |
| Autor | Bornat Richard | Año | 2005 | |
| Editorial | Oxford University Press | Edición | 1ª | |
| Tema | Logica, Programacion, Textos | ISBN | 9780198530275 |
|
Título | Twenty-Five Years Of Constructive Type Theory | Precio | $1233.00 |
| Autor | Sambin, Giovanni/ Smith, Jan | Año | 1998 | |
| Editorial | Oxford University Press | Edición | 1ª | |
| Tema | Logica, Matematicas, Textos | ISBN | 9780198501275 |
Filtrar resultados
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019