Окурки по алгебре

Питающее поле Поле Хейтинга – неэквивалентный способ передачи классического понятия поля в конструктивной математике.  Коммутативное кольцо является полем Хейтинга, если […]