skip to main | skip to sidebar

Theorem(e)

:: logique & philosophie ::

Thursday, June 19, 2008

Notre Dame Mathematical Lectures

In Notre Dame Mathematical Lectures series, one finds (.pdf):

Skolem : Abstract Set Theory (1962)
Curry : A Theory of Formal Deducibility(1950)

par henri galinon à 10:21 AM   Catégorie: Intext, logic

Newer Post Older Post Home

A Reader (News)

Menu

  • Events in Analytic Philosophy in Europe (ESAP)
  • Logic Tutorials
  • Homepages
  • Links

Labels

  • Intext (49)
  • conferences (48)
  • Philform (28)
  • logic (26)
  • conference (18)
  • Blogs (16)
  • People (14)
  • In Memoriam (10)
  • HTML (6)
  • varia (5)
  • LateX (4)
  • Deflationism (2)
  • administration (2)
  • software (2)
  • Philmath (1)

Divers

  • The philosopher's magazine
  • Memory Game (logic theme)

Blog Archive

  • ►  2009 (15)
    • ►  December (1)
    • ►  September (1)
    • ►  May (4)
    • ►  April (2)
    • ►  March (1)
    • ►  February (2)
    • ►  January (4)
  • ▼  2008 (62)
    • ►  December (3)
    • ►  November (3)
    • ►  October (7)
    • ►  September (5)
    • ►  August (1)
    • ►  July (1)
    • ▼  June (8)
      • Collective Wisdom : Principles and mechanisms
      • Perspectives philosophiques sur l'agrégation des j...
      • Paris-Oxford Workshop
      • Notre Dame Mathematical Lectures
      • Sider's Logic for Philosophy (update)
      • Thibault Gajdos
      • "Mathematical Understanding"
      • Newton international fellowships
    • ►  May (8)
    • ►  April (9)
    • ►  March (6)
    • ►  February (6)
    • ►  January (5)
  • ►  2007 (92)
    • ►  December (1)
    • ►  November (10)
    • ►  October (6)
    • ►  September (6)
    • ►  July (2)
    • ►  June (10)
    • ►  May (16)
    • ►  April (9)
    • ►  March (6)
    • ►  February (15)
    • ►  January (11)
  • ►  2006 (126)
    • ►  December (9)
    • ►  November (9)
    • ►  October (16)
    • ►  September (12)
    • ►  August (3)
    • ►  July (7)
    • ►  June (15)
    • ►  May (24)
    • ►  April (12)
    • ►  March (10)
    • ►  February (5)
    • ►  January (4)
  • ►  2005 (47)
    • ►  December (6)
    • ►  November (9)
    • ►  October (16)
    • ►  September (15)
    • ►  August (1)