skip to main | skip to sidebar

Theorem(e)

:: logique & philosophie ::

Friday, November 09, 2007

An introduction to finite model theory

J. Vaananen "A short course on finite model theory"

par henri galinon à 2:50 PM   Catégorie: Intext

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)
    • ►  May (8)
    • ►  April (9)
    • ►  March (6)
    • ►  February (6)
    • ►  January (5)
  • ▼  2007 (92)
    • ►  December (1)
    • ▼  November (10)
      • The On-Line Encyclopedia of Integer Sequences
      • Henry Kyburg
      • P. Smith : On Subsystems of PA2
      • An introduction to finite model theory
      • Context-dependence, Perspective and Relativity in ...
      • Michael Rathjen on Ordinal Analysis of Proofs
      • Colin McGinn has a blog
      • CSLI Publications online free
      • Advances in Modal Logic : call for paper
      • Paradoxes and contemporary logic
    • ►  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)