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 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 282 b
115.99 €
226.86  лв
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Book Paperback
common.buy 36.88 € 72.13 лв
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 10.11 € 19.78 лв
Top
Oko ihly Ken Follett / Book Hardback
common.buy 21.57 € 42.19 лв
Klett Mein Rätselblock ab 7 Jahren / Book Paperback
common.buy 7.70 € 15.06 лв
Die Pestalozzische Pädagogik Heinrich Scherer / Book Hardback
common.buy 31.13 € 60.88 лв
Eisblumen Christoph Fackelmann / Book Paperback
common.buy 30.16 € 58.99 лв
Katsugeki Touken Ranbu. Vol.3, 1 DVD Toshiyuki Shirai / Video DVD
common.buy 18.65 € 36.48 лв
Agricultura Sostenible Carlos A. Salas Macías / Book Paperback
common.buy 261.07 € 510.60 лв
Fachlageristen Antje Reynders / Book Paperback
common.buy 16.49 € 32.24 лв
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Book Paperback
common.buy 72.05 € 140.91 лв
Wgl?d w medytacj? i rzeczywisto?? Larisa Mironova / Book Paperback
common.buy 45.92 € 89.81 лв
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Book Paperback
common.buy 46.74 € 91.42 лв
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Book Sheet
common.buy 27.89 € 54.55 лв
Maigret und der Treidler der Providence Rainer Moritz / Book Paperback
common.buy 12.43 € 24.30 лв
La brisa del Egeo Ana Muncharaz Rossi / Book Paperback
common.buy 17.72 € 34.65 лв

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 107.82 € 210.89 лв
Automated Technology for Verification and Analysis Etienne Andre / E-book Adobe ePub DRM
common.buy 90.91 € 177.80 лв
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Book Paperback
common.buy 62.26 € 121.77 лв
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Book Hardback
common.buy 202.81 € 396.66 лв
Deutsche Gesellschaft für Transfusionsmedizin und Immunhämatologie (DGTI) Siegfried Görg / Book Paperback
common.buy 63.59 € 124.38 лв
PHENOMENES Marina Gadonneix / Book Paperback
common.buy 46.54 € 91.02 лв
Carmen's Messenger Harold Bindloss / Book Hardback
common.buy 44.02 € 86.10 лв
Get Known Be Seen DEBORAH FAY / Book Paperback
common.buy 20.90 € 40.88 лв
Top
Calisthenics Workout Bible Bruce Harlow / Book Paperback
common.buy 16.07 € 31.44 лв
Blood Royal Grant Allen / Book Paperback
common.buy 17.00 € 33.25 лв
Julius Caesar Patricia Southern / Book Paperback
common.buy 14.74 € 28.83 лв
Top
Mathematics for Machine Learning Marc Peter Deisenroth / Book Paperback
common.buy 59.53 € 116.44 лв
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Book Paperback
common.buy 8.16 € 15.97 лв
Prison Architecture and Punishment in Colonial Senegal Konate / Book Hardback
common.buy 152.36 € 298.00 лв
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Book Paperback
common.buy 8.27 € 16.17 лв
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Book Paperback
common.buy 41.25 € 80.67 лв
Set Theory for Pre-Beginners Steve Warner / Book Paperback
common.buy 74.79 € 146.28 лв
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Book Paperback
common.buy 29.38 € 57.46 лв
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Book Paperback
common.buy 10.32 € 20.19 лв
Good Soldier Svejk Jaroslav Hasek / Audiobook MP3
common.buy 4.62 € 9.04 лв
Top
Lego(r) DC Comics Super Heroes Batman Vs Harley Quinn AMEET SP ZOO / Book Hardback
common.buy 16.07 € 31.44 лв
Top
The Green Witch's Coloring Book: From Enchanting Forest Scenes to Intricate Herb Gardens, Conjure the Colorful World of Natural Magic Sara Richard / Book Paperback
common.buy 11.40 € 22.29 лв
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Book Hardback
common.buy 183.08 € 358.08 лв
The New China Playbook Jin / Book Paperback
common.buy 13.45 € 26.31 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?