Búsqueda

Buscaste por: Empezar de nuevo Materia Computer Science Eliminar filtro Materia: Computer Science Materia Mathematics Eliminar filtro Materia: Mathematics Materia Regional and World History: General Interest Eliminar filtro Materia: Regional and World History: General Interest
Resultados 1 - 3 de 3
Número de resultados a mostrar por páginas

Resultados de búsquedas

1. Metamathematics of First-Order Arithmetic
Hájek; Pudlák
Cambridge University Press
E-ISBN: 9781316717271; 9781107168411 ISBN:
2. Programming with Higher-Order Logic
Miller; Nadathur
Cambridge University Press
E-ISBN: 9781139021326; 9780521879408 ISBN:
3. Stable Domination and Independence in Algebraically Closed Valued Fields
Haskell; Hrushovski; Macpherson
Cambridge University Press
E-ISBN: 9780511546471; 9780521889810 ISBN: 9780521335157