Propositional calculus, Boolean algebras, predicate calculus

Author(s)

• Cori, René
• Lascar, D. (Daniel)

Bibliographic Information

Propositional calculus, Boolean algebras, predicate calculus

René Cori and Daniel Lascar ; translated by Donald H. Pelletier

（Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier, pt. 1）

Oxford University Press, 2000

• : hbk
• : pbk

Other Title

Propositional calculus, Boolean algebras, predicate calculus,Completeness Theorems

Note

Includes bibliographical references and index

Details

• NCID: BA49487763
• ISBN:
  • 0198500491
  • 0198500483
• LCCN: 00056525
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: fre
• Place of Publication: New York ; Tokyo
• Pages/Volumes: xix, 338 p.
• Size: 24 cm
• Classification:
  • LCC : QA9
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA4949116X