Symbolic logic : a first course
โ Hardegree, Gary M
๐ Library
๐
1999
๐ McGraw-Hill/Primus Custom Pub
๐ English
โ Scribed by Gary M. Hardegree
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics โ