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

by Peter Schuster (Author), Helmut Schwichtenberg (Author), Klaus Mainzer (Author)

New
Hardcover
2021
$172.24

$172.24

Save:$0.85 (0%)

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 424
Publisher: World Scientific Publishing
Published: 27 Aug 2021
ISBN 10: 981123647X
ISBN 13: 9789811236471

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

New

$172.24

$172.24

More Information