Словарь по логике

интуиционизм: Направление в обосновании математики. Родоначальник - Брауэр (см.). Другие представители: Гейтинг (см.).