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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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.75 €
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Book Paperback
common.buy 45.88 €
Top
Oko ihly Ken Follett / Book Hardback
common.buy 20.35 €
Die Pestalozzische Pädagogik Heinrich Scherer / Book Hardback
common.buy 29.98 €
Eisblumen Christoph Fackelmann / Book Paperback
common.buy 28.66 €
Agricultura Sostenible Carlos A. Salas Macías / Book Paperback
common.buy 68.57 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Book Paperback
common.buy 68.57 €
Coming soon
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 9.72 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Book Sheet
common.buy 26.63 €
Maigret und der Treidler der Providence Rainer Moritz / Book Paperback
common.buy 11.84 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Book Paperback
common.buy 36.26 €
La brisa del Egeo Ana Muncharaz Rossi / Book Paperback
common.buy 15.59 €
Fachlageristen Antje Reynders / Book Paperback
common.buy 16.00 €

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 103.12 €
Automated Technology for Verification and Analysis Etienne Andre / E-book Adobe ePub DRM
common.buy 87.82 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Book Paperback
common.buy 61.99 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Book Hardback
common.buy 209.79 €
Good Soldier Svejk Jaroslav Hasek / Audiobook MP3
common.buy 4.45 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Book Paperback
common.buy 7.89 €
Prison Architecture and Punishment in Colonial Senegal Konate / Book Hardback
common.buy 151.24 €
Julius Caesar Patricia Southern / Book Paperback
common.buy 13.97 €
Blood Royal Grant Allen / Book Paperback
common.buy 16.20 €
Get Known Be Seen DEBORAH FAY / Book Paperback
common.buy 20.55 €
PHENOMENES Marina Gadonneix / Book Paperback
common.buy 45.98 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Book Paperback
common.buy 28.86 €
Top
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Book Paperback
common.buy 9.72 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Book Paperback
common.buy 7.49 €
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 10.83 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Book Hardback
common.buy 175.14 €
Pandemic Information Solution Joshua Gans / E-book Adobe ePub DRM
common.buy 5.36 €
Doctor Who: The Companions Collection Peter Grimwade / Audiobook MP3
common.buy 13.56 €
Marvel: Black Panther: The Intergalactic Empire of Wakanda Suyi Davies Okungbowa / Audiobook MP3
common.buy 12.55 €
Oswald Mosley and a Short History of Fascism Andrew Sangster / Book Hardback
common.buy 26.43 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Book Paperback
common.buy 39.30 €
World According to Anna Jostein Gaarder / Book Paperback
common.buy 13.56 €
Ecclesiastes Preston A Taylor / Book Paperback
common.buy 24.40 €
Drugs and Politics Rock / Book Paperback
common.buy 34.84 €

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?