ИНТУИЦИОНИСТІКинтуиционистік логика. матем. Математикалық логиканың интуиционистік математика принциптеріне негізделген тарауы.