Availability: In Stock

One Hundred Years of Intuitionism (1907-2007) The Cerisy Conference 1st Edition

SKU: 9783764386535

Original price was: $99.00.Current price is: $24.99.

Access One Hundred Years of Intuitionism (1907-2007) The Cerisy Conference 1st Edition Now. Discount up to 90%

Categories: ,

Additional information

Full Title

One Hundred Years of Intuitionism (1907-2007) The Cerisy Conference 1st Edition

Author(s)

Mark van Atten, ‎Pascal Boldini, ‎Michel Bourdeau

Edition

1st Edition

ISBN

9783764386535, 9783764386528

Publisher

Birkhäuser

Format

PDF and EPUB

Description

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 reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today’s leading authors on intuitionism.