Displaying similar documents to “Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера”