WEBリンク集
メイン | 登録する | 人気サイト (top10) | 高評価サイト (top10) | おすすめサイト (0) | 相互リンクサイト (0) |
カテゴリ一覧 | RSS/ATOM 対応サイト (6) | RSS/ATOM 記事 (73786) | ランダムジャンプ |
RSS/ATOM 記事 (73786)
ここに表示されている RSS/ATOM 記事を RSS と ATOM で配信しています。


厚生年金保険・国民年金事業状況(事業月報)(平成25年3月現在) from 厚生労働省新着情報 (2013-7-9 0:00) |
|
全国健康福祉祭(ねんりんピック)の概要 from 厚生労働省新着情報 (2013-7-9 0:00) |
|
労働政策審議会 from 厚生労働省新着情報 (2013-7-9 0:00) |
|
審議会・研究会等開催予定 from 厚生労働省新着情報 (2013-7-9 0:00) |
|
ひとり親家庭の支援について from 厚生労働省新着情報 (2013-7-9 0:00) |
|
健康保険・船員保険事業状況報告 from 厚生労働省新着情報 (2013-7-9 0:00) |
|
厚生年金保険・国民年金事業 市町村別状況(平成25年3月末現在) from 厚生労働省新着情報 (2013-7-9 0:00) |
|
平成25年7月9日付幹部名簿 from 厚生労働省新着情報 (2013-7-9 0:00) |
|
Robert Nozick’s Political Philosophy from Internet Encyclopedia of Philosophy (2013-7-8 4:00) |
Robert Nozick’s Political Philosophy Although Robert Nozick did not consider himself to be primarily a political philosopher, he is best known for his contributions to it. Undoubtedly, Nozick’s work in epistemology and metaphysics (especially with respect to free will and the “closest continuer” theory of personal identity) has had a significant impact on those fields. [...]
|
Frege's Theorem and Foundations for Arithmetic from Stanford Encyclopedia of Philosophy (2013-7-6 14:24) |
[Revised entry by Edward N. Zalta on July 5, 2013.
Changes to: Main text, Bibliography, Internet resources, rule-substitution.html]
Over the course of his life, Gottlob Frege formulated two logical systems in his attempts to define certain basic concepts of mathematics and to derive certain mathematical laws from the laws of logic. In his book of 1879, Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, he developed a second-order predicate calculus and used it both to define...
|