Conte aos seus amigos sobre este item:
One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference - Publications des Archives Henri Poincare Publications of the Henri Poincare Archives 2008 edition
Mark Van Atten
One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference - Publications des Archives Henri Poincare Publications of the Henri Poincare Archives 2008 edition
Mark Van Atten
Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications.
422 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 17 de julho de 2008 |
ISBN13 | 9783764386528 |
Editoras | Birkhauser Verlag AG |
Páginas | 422 |
Dimensões | 165 × 239 × 29 mm · 884 g |
Idioma | French |
Editor | Boldini, Pascal |
Editor | Bourdeau, Michel |
Editor | Heinzmann, Gerhard |
Editor | Van Atten, Mark |
Mais por Mark Van Atten
Ver tudo de Mark Van Atten ( por exemplo Hardcover Book e Paperback Book )