Chapitre D'ouvrage
Année : 2019
Henri Lombardi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03518924
Soumis le : lundi 10 janvier 2022-11:25:23
Dernière modification le : jeudi 2 mai 2024-13:50:35
Citer
Henri Lombardi. Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg. Handbook of Bishop's Constructive Mathematics, In press. ⟨hal-03518924⟩
Collections
8
Consultations
0
Téléchargements