Título | Logica | Precio | $235.00 | |
Autor | Suarez Ruiz Javier A. | Año | ||
Editorial | Santillana Editorial | Edición | 2ª | |
Tema | Logica, Textos | ISBN | 7506007537271 |
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 |
Título | Grafimaticas | Precio | $320.00 | |
Autor | Mendez Llopis Carles/ Minguez Garcia Hortensia (Coo) | Año | 2008 | |
Editorial | Universidad Autonoma de Ciudad Juarez. | Edición | 1ª | |
Tema | Matematicas, Logica, Textos | ISBN | 9786077623144 |
Título | Logica Para Inexpertos | Precio | $160.00 | |
Autor | Mateos Nava, Masiel | Año | 2008 | |
Editorial | Edere, S.A. de C.V. | Edición | 2ª | |
Tema | Logica, Textos | ISBN | 9789709898187 |
Título | A Course In Mathematical Logic For Mathematicians | Precio | $896.00 | |
Autor | Manin Yu I/ Zilber B. Emiris Ioannisz/ Sottile Frank/ Theobal | Año | 2010 | |
Editorial | Springer Publishing Company | Edición | 1ª | |
Tema | Matematicas, Logica, Textos | ISBN | 9781441906144 |
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 |