Telecharger Cours

metamath.pdf

Of course a Metamath database can only have a finite number of math symbols, whereas formal systems in general can have an infinite number ...



Download