Resultaat

Hardback
Megill, Norman, Wheeler, David A.
Metamath: A Computer Language for Mathematical Proofs
€ 52.00
Boekstra