Towards a logical analysis of the mathem
โ
J.P. Fillard; J. Gasiot
๐
Article
๐
1977
๐
Elsevier Science
๐
French
โ 315 KB