Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004002549/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b5760637.
- catalog contributor b5760638.
- catalog created "c1993.".
- catalog date "1993".
- catalog date "c1993.".
- catalog dateCopyrighted "c1993.".
- catalog description "0. Using Mathematics -- 1. Textual Substitution, Equality, and Assignment -- 2. Boolean Expressions -- 3. Propositional Calculus -- 4. Relaxing the Proof Style -- 5. Applications of Propositional Calculus -- 6. Hilbert-style Proofs -- 7. Formal Logic -- 8. Quantification -- 9. Predicate Calculus -- 10. Predicates and Programming -- 11. A Theory of Sets -- 12. Mathematical Induction -- 13. A Theory of Sequences -- 14. Relations and Functions -- 15. A Theory of Integers -- 16. Combinatorial Analysis -- 17. Recurrence Relations -- 18. Modern Algebra -- 19. A Theory of Graphs -- 20. Infinite Sets -- Theorems of the propositional and predicate calculi.".
- catalog description "Includes bibliographical references (p. [473]-475) and index.".
- catalog extent "xvi, 497 p. :".
- catalog hasFormat "Logical approach to discrete math.".
- catalog identifier "0387941150".
- catalog identifier "3540941150".
- catalog isFormatOf "Logical approach to discrete math.".
- catalog isPartOf "Texts and monographs in computer science".
- catalog issued "1993".
- catalog issued "c1993.".
- catalog language "eng".
- catalog publisher "New York : Springer-Verlag,".
- catalog relation "Logical approach to discrete math.".
- catalog subject "510 20".
- catalog subject "Mathematics.".
- catalog subject "QA39.2 .G7473 1993".
- catalog tableOfContents "0. Using Mathematics -- 1. Textual Substitution, Equality, and Assignment -- 2. Boolean Expressions -- 3. Propositional Calculus -- 4. Relaxing the Proof Style -- 5. Applications of Propositional Calculus -- 6. Hilbert-style Proofs -- 7. Formal Logic -- 8. Quantification -- 9. Predicate Calculus -- 10. Predicates and Programming -- 11. A Theory of Sets -- 12. Mathematical Induction -- 13. A Theory of Sequences -- 14. Relations and Functions -- 15. A Theory of Integers -- 16. Combinatorial Analysis -- 17. Recurrence Relations -- 18. Modern Algebra -- 19. A Theory of Graphs -- 20. Infinite Sets -- Theorems of the propositional and predicate calculi.".
- catalog title "A logical approach to discrete math / David Gries, Fred B. Schneider.".
- catalog type "text".