アロンゾ・チャーチ - suto3の大福帳

アロンゾ・チャーチ

1903年 - 1995年

ラムダ計算

チャーチ＝チューリングのテーゼ

アロンゾ・チャーチ - Wikipedia