Andrea Asperti

Mathematical Knowledge Management

2004