Propositional calculus, Boolean algebras, predicate calculus
Author(s)
Bibliographic Information
Propositional calculus, Boolean algebras, predicate calculus
(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
Available at / 20 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: hbkCOR||21||1-1(P)01061931
-
National Graduate Institute for Policy Studies Library (GRIPS Library)
: pbk410.96||C88||101587515
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index