サクサク読めて、アプリ限定の機能も多数!
自然演繹、シーケンス計算。ソ連軍に捕らえられ死亡。
KatagiriSo のブックマーク 2014/11/16 00:02
ゲルハルト・ゲンツェン - Wikipedia[人物]自然演繹、シーケンス計算。ソ連軍に捕らえられ死亡。2014/11/16 00:02
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2009/08/31
ゲルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン(Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日)はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。...
6 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
自然演繹、シーケンス計算。ソ連軍に捕らえられ死亡。
KatagiriSo のブックマーク 2014/11/16 00:02
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ゲルハルト・ゲンツェン - Wikipedia
ja.wikipedia.org2009/08/31
ゲルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン(Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日)はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。...
6 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /