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 | From Brower To Hilbert The Debate On The | Precio | $420.00 | |
Autor | Mancosu | Año | 1998 | |
Editorial | Oxford University Press | Edición | ||
Tema | Matematicas | ISBN | 0195096320 |