Resultaat

Hardback
Megill, Norman, Wheeler, David A.
Metamath: A Computer Language for Mathematical Proofs
€ 52.00
Paperback / softback
Wheeler, Richard, Thompson, David, Goodey, Brian, Bellamy, Roger
William Morris at Middleton Cheney
€ 14.95
Boekstra