2011-03-06から1日間の記事一覧
Russell's Paradox http://plato.stanford.edu/entries/russell-paradox/ Type Theory http://plato.stanford.edu/entries/type-theory/ Principia Mathematica http://plato.stanford.edu/entries/principia-mathematica/ The Notation in Principia Mathem…