概念記法
↑ Bynum (1972)
↑ Her(F),In(x,F),FN(f),*=などの記号は,田畑(2002)を参考にした。
↑ Heyting, Arend (1930). “Die formalen Regeln der intuitionistischen Logik”. Sitzungsbericht PreuBische Akademie der Wissenschaften Berlin, physikalisch-mathematische Klasse II: 42–56.