"О расширениях логики Нельсона, удовлетворяющих аксиоме Даммета" - читать интересную книгу автора (Одинцов С.П.)