Metamath: Eine Computersprache für mathematische Beweise von Megill, Norman; Rad...
49,37 €
Metamath: A Computer Language For Mathematical Proofs by Megill, Norman;wheeler, David A., ISBN 0359702236, ISBN-13 9780359702237, Like New Used, Free P&P in the UK
Jetzt bei Ebay: