Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

World Scientific Publishing Company
SKU:
9789811236471
|
ISBN13:
9789811236471
$166.20
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
  • | Author: Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
  • | Publisher: World Scientific Publishing Company
  • | Publication Date: 11-Aug-21
  • | Number of Pages: 380 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 981123647X
  • | ISBN-13: 9789811236471
Author:
Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
Publisher:
World Scientific Publishing Company
Publication Date:
11-Aug-21
Number of pages:
380 pages
Language:
English
Binding:
Hardcover
ISBN-10:
981123647X
ISBN-13:
9789811236471