Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg

Dates et versions

hal-03518924 , version 1 (10-01-2022)

Identifiants

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⟩
8 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More