Typentheorie und formaler Beweis: Eine Einführung von Rob Nederpelt [gebunden]
78,35 €
This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs.
Jetzt bei Ebay:
