Metamath: A Computer Language for Mathematical Proofs

Name: Metamath: A Computer Language for Mathematical Proofs
Brand: Lulu.com
SKU: 4cabe4242d61d5f13b1dbaa9d8f58e6d

1/1

Prices from

30.60

Description

Metamath: A Computer Language for Mathematical Proofs

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 30.60

Description (0)

Metamath: A Computer Language for Mathematical Proofs

Brand	Lulu.com
EAN	9780359702237

Pearson

Mathematical Proofs: A Transition to Advanced Mathematics

Proofs of Mathematical Problems

Patrocel Duque

Mathematical Proofs that God Exists

Chapman and Hall/CRC

Taking the “Oof! Out of Proofs: A Primer on Mathematical Proofs (Textbooks in Mathematics)