直觉主义逻辑
zhíjuè zhǔyì luóji
интуиционистское исчисление высказываний, интуционистская логика
интуиционистская логика; интуиционистская N-значная
intuitionist logic
в русских словах:
брауэрова логика
直觉主义逻辑, 布劳韦尔逻辑
пословный:
直觉主义 | 逻辑 | ||
логика; логический; логичный
|