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
$164.38

$164.38

Save:$9.45 (5%)

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

$164.38

$164.38

More Information