Low Inventory

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

Best offer in the last 28 days!

Product Identifiers

AID

AIDQ7K8KI001

Copied!

ASIN

Upgrade Account

EAN

Upgrade Account

UPC

Upgrade Account

Similar Items

Algopix Similar Product 1 - Discrete Mathematics for Computer

Discrete Mathematics for Computer Science Made Easy

Algopix Similar Product 2 - Knowledge Structures Recent

Knowledge Structures: Recent Developments in Theory and Application (Advanced Series on Mathematical Psychology Book 7)

Algopix Similar Product 3 - Advanced Mathematical Analysis Course

Advanced Mathematical Analysis Course: Complex Analysis, Functional Analysis, Numerical Analysis, Fourier Analysis, Nonlinear Analysis

Algopix Similar Product 4 - Algebraic Structures as Seen on the

Algebraic Structures as Seen on the Weyl Algebra

Algopix Similar Product 5 - Isometric Paper Notebook Isometric

Isometric Paper Notebook: Isometric Graph Paper Notebook For Technical Drawings And 3D Sketches For Engineers, Designers, and Architects; Grid Of ... Triangles, 130 Pages, 8.5 x 11 Inches, Pink

Algopix Similar Product 6 - Isometric Paper Notebook Isometric

Isometric Paper Notebook: Isometric Graph Paper Notebook For Technical Drawings And 3D Sketches For Engineers, Designers, and Architects; Grid Of Equilateral Triangles, 130 Pages, 8.5 x 11 Inches

Algopix Similar Product 7 - Fibonacci Spiral Golden Ratio Grid

Fibonacci Spiral & Golden Ratio Grid Sketchbook: 120 Pages | 8.5" x 11" (21.59 x 27.94 cm) | Light Gray template | Create flawless drawings with the mystery of Fibonacci and Golden Ratio

Algopix Similar Product 8 - Graph Paper Composition Notebook

Graph Paper Composition Notebook: Exercise Book Quad Ruled 4x4 for Math, School, Science student, Engineering Work with Elegance and Functionality.

Algopix Similar Product 9 - Cat Graph Paper Notebook Grid Paper

Cat Graph Paper Notebook, Grid Paper Composition Book: Quad Ruled 8.5*11 with 120 Pages, For Math & Science Students, Teachers & Engineers | Bullet Journal | Kawaii

Algopix Similar Product 10 - SPSS For Beginners in 45 Minutes A

SPSS For Beginners in 45 Minutes : A 2021 Quick Reference Guide to Research Methods, Data Analysis and Interpretation of Statistical Data

Algopix Similar Product 11 - REDUO COMBINATRIA UM ALGORITMO PARA

REDUÇÃO COMBINATÓRIA: UM ALGORITMO PARA A LOTOFÁCIL (Portuguese Edition)

Algopix Similar Product 12 - Graph Paper Composition Notebook Grid

Graph Paper Composition Notebook: Grid Paper, 4x4 Quad Ruled, 4 squares per inch, 100 pages, Dark Green cover (7.5 x 9.25 in)

Algopix Similar Product 13 - IIT Mathematics from X Grade Some

IIT Mathematics from X Grade.: Some trigonometry problems explianed By "Mission Chandra Planetary Clock-Education" in Geometrical drawing method.

Algopix Similar Product 14 - How to Think Like a Math Genius

How to Think Like a Math Genius: Spectacular and Simple Methods for High School and College Learners

Algopix Similar Product 15 - Graph Paper Composition Notebook 14

Graph Paper Composition Notebook | 1/4 Graph Paper | Quad Ruled | 120 Sheets | Large (8.5 x 11) | Graph Paper Notebooks | Perfect for Kids, Teens, Students, Adults

Algopix Similar Product 16 - Graph Paper Composition Notebook

Graph Paper Composition Notebook: Exercise Book Quad Ruled 4x4 for Math, School, Science student, Engineering Work…Your Perfect Tool for Precision and Creativity

Algopix Similar Product 17 - SPSS For Beginners in 45 Minutes A

SPSS For Beginners in 45 Minutes: A 2021 Quick Reference Guide to Research Methods, Data Analysis and Interpretation of Statistical Data

Algopix Similar Product 18 - Analytic Methods in Sports Using

Analytic Methods in Sports: Using Mathematics and Statistics to Understand Data from Baseball, Football, Basketball, and Other Sports

Algopix Similar Product 19 - Isometric Paper Notebook Isometric

Isometric Paper Notebook: Isometric Graph Paper Notebook For Technical Drawings And 3D Sketches For Engineers, Designers, and Architects; Grid Of ... Triangles, 130 Pages, 8.5 x 11 Inches, Green

Algopix Similar Product 20 - Archimedes (Classic Books)

Archimedes (Classic Books)

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.