First-Order Logic and Automated Theorem Proving by Melvin Fitting (English) Pape
95,78 €
1 Background. - 2 Propositional Logic. - 2.1 Introduction. - 2.3 Propositional Logic—Semantics. - 2.4 Boolean Valuations. - 2.6 Uniform Notation. - 2.7 König's Lemma. - 2.8 Normal Forms.
Jetzt bei Ebay: