Atten mark van boldini pascal bourdeau michel (14 resultados)

Condición: New.

Condición: New.

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.…

Condición: 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. . . . .…

Condición: New. pp. 440.

Condición: 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.…

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Birkhäuser, Publications des Archives Henri-Poincaré/Publications of the Henri Poincaré Archives, 2008, XIII-422 p., cartonnage éditeur, environ 24x17cm, coins des plats un peu émoussés, un ex-libris manuscrit sur la page de garde, bon état pour le reste. En anglais.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation. 422 pp. Französisch.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Large variety of facets studied: biographical, contextual, philosophical, logical, and mathematicalSignificant progress on problems central to current foundational studiesBrings together 21 contributions of today s leading authors on.…

Condición: New. Print on Demand pp. 440 Illus.

Condición: New. PRINT ON DEMAND pp. 440.