Staff View for: Deductive logic

 Staff view

You must be logged in to Tag Records

Deductive logic /

Warren Goldfarb.

Book Cover
Main Author: Goldfarb, Warren D.
Published: Indianapolis, IN : Hackett Pub., ©2003.
Topics: Logic. | Logica. | Kwantificatie (taalkunde)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 02765cam a22003854a 4500
001 2547817
005 20190227012229.0
008 031112s2003 inua 001 0 eng
010 |a 2003047814
020 |a0872206602|q(alk. paper)
020 |a9780872206601|q(alk. paper)
035 |a(OCoLC)ocm51900393
035 |a(EIUdb)1361535
040 |aDLC|beng|cDLC|dBAKER|dNLGGC|dBTCTA|dYDXCP|dBDX|dOCLCF|dIG#|dOCLCQ|dIAD|dCN5CF|dPAU|dEIUdb
042 |apcc
049 |aIADA
050 00|aBC108|b.G7 2003
082 00|a160|221
084 |a08.33|2bcl
100 1 |aGoldfarb, Warren D.
245 10|aDeductive logic /|cWarren Goldfarb.
260 |aIndianapolis, IN :|bHackett Pub.,|c©2003.
300 |axv, 292 pages :|billustrations ;|c24 cm
336 |atext|btxt|2rdacontent
337 |aunmediated|bn|2rdamedia
338 |avolume|bnc|2rdacarrier
500 |aIncludes index.
505 0 |aPart I. Truth-functional Logic -- A.. Analysis -- 1. Statements -- 2. Conjunction -- 3. Negation -- 4. Disjunction -- 5. Grouping -- 6. Truth-functions -- 7. Conditional -- 8. Logical Paraphrase -- B.. Logical Assessment -- 9. Schemata and Interpretation -- 10. Validity and Satisfiability -- 11. Implication -- 12. Use and Mention -- 13. Equivalence -- C.. Reflection -- 14. General Laws -- 15. Disjunctive Normal Form -- 16. Expressive Adequacy -- 17. Formal Systems -- Part II. Monadic Quantification Theory -- A.. Analysis -- 18. Monadic Predicates and Open Sentences -- 19. The Existential Quantifier -- 20. The Universal Quantifier -- 21. Further Notes on Paraphrase -- 22. Universe of Discourse -- B.. Logical Assessment -- 23. Schemata and Interpretation -- 24. Validity, Implication, and Equivalence -- 25. Testing Monadic Schemata -- C.. Reflection -- 26. Monadic Satisfiability -- 27. General Laws -- Part III. Polyadic Quantification Theory -- A.. Analysis -- 28. Polyadic Predicates -- 29. Paraphrase -- B.. Logical Assessment -- 30. Schemata and Interpretation -- 31. Validity, Implication, and Equivalence -- 32. Instances -- 33. Deduction -- 34. Deduction Extended -- C.. Reflection -- 35. Soundness -- 36. Other Laws -- 37. Prenex Form -- 38. Completeness -- 39. Further Consequences -- 40. Decidability -- Part IV. Identity and Names -- 41. Identity -- 42. Inference with Names -- 43. Descriptions -- 44. Elimination of Descriptions.
650 0|aLogic.
650 7|aLogic.|2fast|0(OCoLC)fst01002014
650 17|aLogica.|2gtt
650 17|aKwantificatie (taalkunde)|2gtt
776 08|iOnline version:|aGoldfarb, Warren D.|tDeductive logic.|dIndianapolis, IN : Hackett Pub., ©2003|w(OCoLC)1085907236
856 42|3The Bernard W. Freeman Book Fund Home Page|uhttp://hdl.library.upenn.edu/1017.12/366311
994 |a92|bIAD

Staff View for: Deductive logic