Free Preview of Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
$216.50
Online pricing. Prices and offers may vary in store.
Ship to me
Checking availability…
Buy now & pick up in store
Checking availability…
Find it in store
Checking availability…
Earn 1,083 points and enjoy extra savings with plum+. Learn more
Overview
Publisher: World Scientific Publishing
Shipping dimensions: 1" H x 1" W x 1" L
ISBN: 9789811236471
Life stage: null
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Hardcover$296.952 formats available -
Ratings & Reviews
Others Also Bought
eBooks from Indigo are available at Kobo.com
Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.
Why Kobo?
With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
/en-ca/proof-and-computation-ii-from-proof-theory-and-univalent-mathematics-to-program-extraction-and-verification/F1CC8769-19D7-4392-94DD-961EB77BF487.html
F1CC8769-19D7-4392-94DD-961EB77BF487
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
https://dynamic.indigoimages.ca/v1/books/books/981123647X/1.jpg
216.5
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/a51ce708-d37c-4572-975f-6417f9e53fa9/300/300/False/image.jpg
161.62