Discrete Mathematics : Proofs, Structures and Applications, Third Edition.
Logic Propositions and Truth Values Logical Connectives and Truth Tables Tautologies and Contradictions Logical Equivalence and Logical Implication The Algebra of Propositions Arguments Formal Proof of the Validity of Arguments Predicate Logic Arguments in Predicate Logic Mathematical Proof The Natu...
Call Number: | Libro Electrónico |
---|---|
Main Author: | |
Other Authors: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Hoboken :
CRC Press,
2009.
|
Edition: | 3rd ed. |
Subjects: | |
Online Access: | Texto completo |