intuitionistic logic

Türkçe: sezgicilik mantığı

Açıklama: Sezgici mantık; yapıcı ispat gerektiren mantık