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

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)

$162.14

Save:$0.80 (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