Code: 19760818

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: 108.32 EUR
Availability: InStock
Author: Klaus Mainzer Et Al
ISBN: 9789813270930

by Klaus Mainzer Et Al

Language: English
Binding: Hardback
Number of pages: 300
Publisher: World Scientific Publishing Co Pte Ltd, 2018
More about this

108.32 €

In stock at our supplier
Shipping in 9 - 15 days

Add to wishlist

Rapture
10.58 € -25 %
Buy
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
23.19 € -24 %
Buy
Allen Carr: The Easy Way to Quit Cannabis
9.77 € -24 %
Buy
World According to Anna
12.19 € -22 %
Buy
Norton Facsimile of the First Folio of Shakespeare
281.30 € -9 %
Buy
Oswald Mosley and a Short History of Fascism
26.42 € -24 %
Buy
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers)
7.96 € -9 %
Buy
Marx, Engels, Beatles
9.27 € -16 %
Buy
Agricultura Sostenible
68.28 € -14 %
Buy
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One)
6.95 € -26 %
Buy
Julius Caesar
13.91 € -24 %
Buy
Second Chances: Book One of the Fabulous Four series
10.58 € -7 %
Buy
OEuvres Philosophiques De Maine De Biran, Volume 4
34.28 € -2 %
Buy
Ecclesiastes
20.67 € -1 %
Buy
Introduction to Default Logic
102.67 € -7 %
Buy
JJ's Way to Start the Day
9.17 € -6 %
Buy
Kriminell gut Geschichte entdecken 5-7
26.52 € -6 %
Buy
Die Pestalozzische Pädagogik
29.95 € -3 %
Buy
Quality Issues in ICT-based Higher Education
199.80 €
Buy
Tex-Mex Slow Cooker
24.80 € -9 %
Buy
Histoire De La Guerre De Flandre V1 (1675)
43.46 € -1 %
Buy
Get Known Be Seen
19.46 € -2 %
Buy
Maigret und der Treidler der Providence
11.79 € -10 %
Buy
Life, Writings and Character of Edward Robinson
29.14 € -1 %
Buy
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919)
27.32 € -2 %
Buy
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ&
68.28 € -14 %
Buy
Blood Royal
16.13 € -14 %
Buy
PHENOMENES
45.98 €
Buy
How We Got Our Bible: Six-Week Study Small Group Kit
44.27 € -9 %
Buy
Conditional Tense
32.47 €
Pre-order
Fachlageristen
16.03 € -3 %
Buy
Geospatial Aspects of Managing the Development of Complex Systems
174.39 € -7 %
Buy
Non-Discrimination in International Trade in Services
63.64 €
Buy
Eisblumen
28.53 € -11 %
Buy
La brisa del Egeo
17.14 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

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

Book details
Synopsis
Trending among others

You get 263 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

108.32 €

Full title: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Author: Klaus Mainzer Et Al
Language: English
Binding: Hardback
Number of pages: 300
EAN: 9789813270930
ISBN: 9813270934
ID: 19760818
Publisher: World Scientific Publishing Co Pte Ltd
Weight: 576 g
Dimensions: 159 × 235 × 24 mm
Date of publishing: 30. July 2018