One hundred years of intuitionism (1907-2007) : the Cerisy conference
Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard HeinzmannIntuitionism 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.
درجه (قاطیغوری(:
کال:
2008
خپرندویه اداره:
Birkhauser
ژبه:
english
صفحه:
422
ISBN 10:
3764386533
ISBN 13:
9783764386535
لړ (سلسله):
Publications des Archives Henri-Poincaré
فایل:
PDF, 1.91 MB
IPFS:
,
english, 2008
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ
Beware of he who would deny you access to information, for in his heart he dreams himself your master
File converter
د لټون نورې نبیجې
More benefits 
