Calcul propositionnel, alge︡bres de boole, calcul des prédicats

Author(s)

Bibliographic Information

Calcul propositionnel, alge︡bres de boole, calcul des prédicats

René Cori, Daniel Lascar ; préface de J.-L. Krivine

（Axiomes : Collection de logique mathématique coordonée / par J.-L. Krivine, . Logique mathématique : cours et execices ; v. 1）

Masson, c1993

  • :pbk

Available at  / 2 libraries

Search this Book/Journal

Note

Bibliograpie: p. [361]-363

Includes notations, index

Related Books： 1-1 of 1

Details

  • NCID
    BA23166334
  • ISBN
    • 2225840792
  • Country Code
    fr
  • Title Language Code
    fre
  • Text Language Code
    fre
  • Place of Publication
    Paris
  • Pages/Volumes
    xv, 385 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top