Faites connaître cet article à vos amis:
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édias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
Validé | 17 juillet 2008 |
ISBN13 | 9783764386528 |
Éditeurs | Birkhauser Verlag AG |
Pages | 422 |
Dimensions | 165 × 239 × 29 mm · 884 g |
Langue et grammaire | French |
Éditeur | Boldini, Pascal |
Éditeur | Bourdeau, Michel |
Éditeur | Heinzmann, Gerhard |
Éditeur | Van Atten, Mark |
Afficher tout
Plus par Mark Van Atten
Voir tous les Mark Van Atten ( par ex. Hardcover Book et Paperback Book )