Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Name: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Brand: World Scientific Publishing Co Pte Ltd
SKU: 19760818
Price: 43150 HUF
Availability: InStock
Author: Klaus Mainzer Et Al
ISBN: 9789813270930

Klaus Mainzer Et Al

Language

English

Book Hardback

Libristo code: 19760818

Publishers World Scientific Publishing Co Pte Ltd, July 2018

This book is for graduate students and researchers, introducing modern foundational research in math... Full description

Libristo code: 19760818

294 b

43 150 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Fachlageristen Antje Reynders

Paperback

5 685 Ft

Agricultura Sostenible Carlos A. Salas Macías

Paperback

26 571 Ft

Maigret und der Treidler der Providence Rainer Moritz

Paperback

4 571 Ft

Kriminell gut Geschichte entdecken 5-7 Harald Parigger

Sheet

10 261 Ft

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada

Paperback

17 498 Ft

ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& ÐœÐ°Ñ€Ñ‚Ð¸Ð½ÐµÐ· Ð›Ð¾Ð¿ÐµÐ· Ð¡Ð°Ð»Ð²Ð° ÐœÐ°Ñ€Ñ‚Ð¸Ð½ÐµÐ· Ð›Ð¾Ð¿ÐµÐ·

Paperback

26 571 Ft

OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin

Paperback

13 833 Ft

La brisa del Egeo Ana Muncharaz Rossi

Paperback

6 129 Ft

Eisblumen Christoph Fackelmann

Paperback

11 111 Ft

Die Pestalozzische Pädagogik Heinrich Scherer

Hardback

10 640 Ft

Marx, Engels, Beatles Vltava

Audio CD

3 429 Ft

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.