Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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

Language EnglishEnglish
Book Hardback
Book Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
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
? points 275 b
113.47 €
In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Fachlageristen Antje Reynders / Book Paperback
common.buy 16.06 €
Agricultura Sostenible Carlos A. Salas Macías / Book Paperback
common.buy 68.40 €
Maigret und der Treidler der Providence Rainer Moritz / Book Paperback
common.buy 11.81 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Book Sheet
common.buy 26.57 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Book Paperback
common.buy 45.77 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Book Paperback
common.buy 68.40 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Book Paperback
common.buy 36.17 €
La brisa del Egeo Ana Muncharaz Rossi / Book Paperback
common.buy 17.27 €
Eisblumen Christoph Fackelmann / Book Paperback
common.buy 28.59 €
Die Pestalozzische Pädagogik Heinrich Scherer / Book Hardback
common.buy 30.00 €
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 9.69 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Author Klaus Mainzer Et Al
Language English
Binding Book - Hardback
Date of issue 2018
Number of pages 300
EAN 9789813270930
ISBN 9813270934
Libristo code 19760818
Publishers World Scientific Publishing Co Pte Ltd
Weight 576
Dimensions 235 x 159 x 24

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Introduction to Default Logic Philippe Besnard / Book Paperback
common.buy 102.86 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Book Paperback
common.buy 61.83 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Book Hardback
common.buy 209.27 €
Second Chances: Book One of the Fabulous Four series Christina Corlett / Book Paperback
common.buy 11.21 €
New
Oswald Mosley and a Short History of Fascism Andrew Sangster / Book Hardback
common.buy 26.47 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Book Paperback
common.buy 9.69 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Book Paperback
common.buy 7.97 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Book Paperback
common.buy 7.47 €
Julius Caesar Patricia Southern / Book Paperback
common.buy 13.94 €
Blood Royal Grant Allen / Book Paperback
common.buy 16.16 €
Get Known Be Seen DEBORAH FAY / Book Paperback
common.buy 20.50 €
PHENOMENES Marina Gadonneix / Book Paperback
common.buy 45.97 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Book Paperback
common.buy 23.64 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Book Paperback
common.buy 9.69 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Book Hardback
common.buy 174.71 €
Pandemic Information Solution Joshua Gans / E-book Adobe ePub DRM
common.buy 5.35 €
Ecclesiastes Preston A Taylor / Book Paperback
common.buy 21.72 €
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Book Paperback
common.buy 24.55 €
Coming soon
Conditional Tense Antjie Krog / Book Hardback
common.buy 32.73 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Book Paperback
common.buy 66.89 €
World According to Anna Jostein Gaarder / Book Paperback
common.buy 13.53 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Book Hardback
common.buy 281.83 €
Drugs and Politics Rock / Book Paperback
common.buy 34.75 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Book Paperback
common.buy 43.95 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account