其他書名 | Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems |
出版 | OUP Oxford, 2000-09-07 |
主題 | Mathematics / LogicMathematics / Algebra / GeneralPhilosophy / LogicMathematics / Calculus |
ISBN | 01915897729780191589775 |
URL | http://books.google.com.hk/books?id=Cle6_dOLt2IC&hl=&source=gbs_api |
EBook | SAMPLE |