Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
World Scientific Publishing Company
ISBN13:
9789811236471
$166.20
- | 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