Référence:Logique mathématique 1 (Cori-Lascar)

Une page de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

Éditions[modifier le code]

Première édition[modifier le code]

  • Titre : Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats
  • Auteur : René Cori et Daniel Lascar
  • Édition : première édition
  • Éditeur : Masson
  • Collection : Axiomes
  • Publication : 1993
  • ISBN : 2-225-84079-2
  • René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Masson, coll. « Axiomes », 1993 (première édition) (ISBN 2-225-84079-2)
@Book{
Author = {René Cori et Daniel Lascar},
Title = {Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats},
Publisher = {Masson},
Year = {1993},
ISBN = {2-225-84079-2},
}
  • Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats / René Cori et Daniel Lascar. – Masson, 1993. – (Axiomes.) – ISBN 2-225-84079-2
  • René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Masson, Axiomes, 1993, ISBN 2-225-84079-2

Réédition Dunod[modifier le code]

  • Titre : Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats
  • Auteur : René Cori et Daniel Lascar
  • Édition : réédition (avec corrections) de l'édition Masson 1993
  • Éditeur : Dunod
  • Lieu : Paris
  • Publication : 2003
  • Pages : 408
  • ISBN : 978-2-10005452-7
  • René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Dunod, Paris, 2003 (réédition (avec corrections) de l'édition Masson 1993) (ISBN 978-2-10005452-7)
@Book{
Author = {René Cori et Daniel Lascar},
Title = {Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats},
Publisher = {Dunod},
Year = {2003},
ISBN = {978-2-10005452-7},
}
  • Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats / René Cori et Daniel Lascar. – Paris : Dunod, 2003. – – ISBN 978-2-10005452-7
  • René Cori et Daniel Lascar, Logique mathématique 1 - Calcul propositionnel ; algèbre de Boole ; calcul des prédicats, Paris, Dunod, 2003, ISBN 978-2-10005452-7