1
/
of
0
books world
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
20 People are viewing this right now
8 sold in last 6 hours
Regular price
Rs.7,990.00 PKR
Regular price
Sale price
Rs.7,990.00 PKR
Low stock: 1 left
Quantity
Couldn't load pickup availability
Collapsible row
Collapsible row
Author: Klaus Mainzer
Publisher: Wiley
Edition Year: 2021
ISBN: 9789811236471
Proof and Computation II From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Rs.7,990.00