Un cours d'algèbre constructive
Auteur : Ray Mines
20,00 €
Classique de l'algèbre constructive moderne initialement paru aux Etats-Unis en 1988, cette discipline est une généralisation de l'algèbre classique qui ne suppose pas la loi du tiers exclu. ©Electre 2024