PROOF IN COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION Rs. 47762.0195 Author Name: MAINZER Publication Year: 2022 Price: £ 119.99 ISBN: 9789811236471 Total Quantity in Cart: 0
