generated at
ハイティング算術

Arend Heyting


http://www.kurims.kyoto-u.ac.jp/~terui/summer2013.pdf
p.30-