Mathematics For Computation (M4c) - Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Michael Schuster; | Foyles Bookstore
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Mathematics For Computation (M4c)
Foyalty 525

Mathematics For Computation (M4c) (Hardback)

Pre-order for despatch on publication.


The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation. This volume also investigates the interaction of mathematics with computation, bridging the gap between mathematics and computation wherever desirable and possible, and otherwise explaining why not.Recently, abstract mathematics has proved to have more computational content than ever expected. In fact, the axiomatic method, originally intended to do away with concrete computations, seems to suit surprisingly well the programs-from-proofs paradigm, with abstraction helping not only to clarity but also to efficiency.Unlike computational mathematics, which rather focusses on objects of computational nature such as algorithms, the scope of M4C generally is all mathematics, including abstract concepts such as functions. The purpose of M4C is actually strongly theory-based and therefore, is a more reliable and sustainable approach to actual computation, up to the systematic development of verified software.While M4C is officially situated within mathematical logic and the related areas of theoretical computer science, in principle it involves all branches of mathematics, especially those which prompt computational considerations. In traditional terms, the topics of M4C include proof theory, constructive mathematics, complexity theory, reverse mathematics, type theory, category theory and domain theory.The volume aims to provide a point of reference by presenting up-to-date contributions by some of the most active scholars in each field. A variety of approaches and techniques are represented to give as wide a view as possible and promote cross-fertilization between different styles and traditions.

Science & MathematicsMathematicsMathematical foundationsMathematical logic Publisher: World Scientific Publishing Co Pte Ltd Publication Date: 30/12/2022 ISBN-13: 9789811245213  Details: Type: Hardback Format: Books
Availability: Pre-order for despatch on publication. Pre-Order

More books by Marco Benini

More books by Olaf Beyersdorff

More books by Michael Rathjen

More books by Peter Michael Schuster

Leave Review

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.


Location 1st Book Each additional book Average Delivery Time
Free UK Standard Delivery on Orders Over £25 (2nd Class)     3-5 Days
UK Standard Delivery (2nd Class) £2.99 £0.00 3-5 Days
UK 1st Class Delivery £3.99 £0.00 2-3 Days

Click & Collect / 
Delivery to a Foyles Bookshop


Free Free Click and Collect and Delivery to Store is available for all our shops. Collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.
Please wait for order arrival confirmation email before making a journey to collect.
UK Courier* £7.95 £0.00 1 Working Day
Western Europe Airmail** £9.00 £1.00 7-8 Days
Rest of World Airmail*** £12.50 £1.00 7-10 Days

* For courier service please contact the Charing Cross Road store

** Includes Austria, Belgium, Cyprus, Czech Republic, France, Germany, Greece, Ireland, Italy, Luxembourg, Malta, The Netherlands, Portugal, Spain, Sweden, Switzerland

*** We are currently unable to delivery to the following countries - Afghanistan, Bangladesh, Ghana, Iraq, Lebanon, Macao, Pakistan, Puerto Rico, Saint Barthelemy, Turkey, Uzbekistan, Virgin Island US

For goods delivered outside of the UK, the consignee (ie the person to whom the consignment is sent) will be the declarant and importer into the country for which the consignment is destined. The consignee will be responsible for both customs clearance and payment of customs duties and local taxes where required.

Customs Charges - if you are ordering goods for delivery outside of the UK, please note that your consignment may be subject to VAT (Value Added Tax), other taxes, customs duties and/or fees levied by the destination country. Any such charges levied in relation to customs clearance must be borne by you. It is accepted by you that Foyles has no control over additional charges in relation to customs clearance. Foyles recommend that you check with your local customs officials or post office for more information regarding importation taxes/duties that may be applicable to your online order.

Delivery Help & FAQs

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Numbers: 10 Things You Should Know
Colin Stuart
Topics In Model Theory
Anand Pillay
Topics In Model Theory
Anand Pillay
Mathematical Intelligence: What We...
Junaid Mubeen
© W&G Foyle Ltd