Maths Proofs in Lean: First Steps by Tariq Rashid

Name: Maths Proofs in Lean: First Steps by Tariq Rashid
SKU: 2071792
Availability: InStock

Original price was: $49.95.Current price is: $14.98.

SKU: 2071792 Category: Technology

Description

Maths Proofs in Lean: First Steps by Tariq Rashid is available now for quick shipment to any U.S. location!Thisbook is in good condition or better.

TitleMaths Proofs in Lean: First Steps

Author(s)Tariq Rashid

Publish Year2025

There are no reviews yet.

Be the first to review “Maths Proofs in Lean: First Steps by Tariq Rashid”