Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Contents:
Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Koya University Central Library Book Cart | 510 - 519 | 511.324 Cut C798 (Browse shelf(Opens below)) | Available | 000156 |
Includes bibliographical references and index.
Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.
There are no comments on this title.