Recently Viewed

New

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy by Klaus Mainzer

No reviews yet Write a Review
RRP: £100.00
Booksplease Price: £87.41
Booksplease saves you 13%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9789813270930
MPN:
9789813270930
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 3 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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 Information
ISBN 9789813270930
Author Klaus Mainzer
Format Hardback
Page Count 300
Imprint World Scientific Publishing Co Pte Ltd
Publisher World Scientific Publishing Co Pte Ltd

Reviews

No reviews yet Write a Review

Booksplease  Reviews