Propositional calculus, Boolean algebras, predicate calculus
著者
書誌事項
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
- タイトル別名
-
Propositional calculus, Boolean algebras, predicate calculus,Completeness Theorems
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index