biblio.bib

   1 @Book{CL93,
   2   author =       {Cori, Ren\'e and Lascar, Daniel},
   3   title =        {Logique math\'ematique, cours et exercices},
   4   publisher =    {Masson},
   5   year =         {1993},
   6 }
   7
   8
   9 @InCollection{McCarthy63,
  10   author =      "J. McCarthy",
  11   title =       "A Basis for a Mathematical Theory of Computation",
  12   booktitle =   "Computer Programming and Formal Systems",
  13   publisher =   "Amsterdam:\ North-Holland",
  14   year =        "1964",
  15   editor =      "P. Brafford and D. Hirschberg",
  16   pages =       "33-70"
  17   }
  18
  19 @Book{Lip90,
  20   author =       {Lipschutz, Seymour},
  21   title =        {Math\'ematiques discr\`etes},
  22   publisher =    {McGraw-Hill},
  23   year =         {1990},
  24 }
  25
  26 @Book{Vel94,
  27   author =       {Vélu, Jacques},
  28   title =        {Méthodes mathématiques pour l'informatique},
  29   publisher =    {Dunod},
  30   year =         {1994},
  31 }
  32
  33 @Book{Jac94,
  34   author =       {Jacquemin, Christian},
  35   title =        {Logique et mathématiques pour l'informatique et l'I.A.},
  36   publisher =    {Masson},
  37   year =         {1994},
  38 }
  39
  40 @Book{Mar05,
  41   author =       {Marchand, Michel},
  42   title =        {Outils mathématiques pour l'informatique},
  43   publisher =    {de boeck},
  44   year =         {2005},
  45 }
  46
  47 @Book{Dowek07,
  48   author =       {Dowek, Gilles},
  49   title =        {Les {M}étamorphoses du calcul, une étonnante histoire
  50                   des mathématiques},
  51   publisher =    {\'Editions le {P}ommier},
  52   year =         {2007}
  53 }
  54
  55
  56 @Book{Smu98,
  57   author =       {Smullyan, Rayomond},
  58   title =        {\c{C}a y est, je suis devenu fou !!},
  59   publisher =    {Dunod},
  60   year =         {1998}
  61 }
  62
  63
  64 @Book{LBDg07,
  65   author =       {Lucas, Thierry and Berlanger,Isabelle  and De Greef,Isabelle},
  66   title =        {Initiation à la logique formelle},
  67   publisher =    {\'Editions De BOECK Université},
  68   year =         {2007}
  69 }