Место издания:Российского университета дружбы народов Москва РУДН
Первая страница:434
Последняя страница:435
Аннотация:Г.Грассман один из первых предложил использовать для обоснования формальных систем так называемый генетический метод. Попутно он вводит такие алгебраические системы, как группы, а также использует рекурсивные (индуктивные) определения.