Ed s van atten mark (2 Ergebnisse)

Zustand: New. 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. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . .…

Zustand: New. 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. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . . Books ship from the US and Ireland.…