Λάθος
LESS parse error: failed at `{if $products} ` line: 307

Payment icons

       

Έχεις μια καλύτερη τιμή γι αυτό το βιβλίο;

Γίνε συνεργάτης και καταχώρησε την προσφορά σου!

Γίνετε Πωλητής / Υποβολή Προσφοράς

Περιγραφή

This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate- functor logic and the affinities between higher set theory and the elementary logic of terms, Quine’s new edition will serve admirably both for classroom and for independent use. (From the publisher) + Περιεχόμενα Introduction I. Truth Functions 1. Negation, Conjunction, and Alternation 2. Truth Functions 3. The Conditional 4. Grouping 5. Truth-Value Analysis 6. Consistency and Validity 7. Implication 8. Words into Symbols 9. Equivalence 10. Alternational Normal Schemata 11. Simplification 12. Duality 13. Axioms II. General Terms and Quantifiers 14. Categorical Statements 15. Venn’s Diagrams 16. Syllogisms 17. Limits of These Methods 18. Boolean Schemata 19. Tests of Validity 20. Some Boolean Incidentals 21. The Bound Variable 22. Quantification 23. Rules of Passage. Monadic Schemata 24. Prenexity and Purity 25. Validity Again 26. Substitution III. General Theory of Quantification 27. Schemata Extended 28. Substitution Extended 29. Pure Existentials 30. The Main Method 31. Application 32. Completeness 33. Lφwenheim’s Theorem 34. Decisions and the Undecidable 35. Functional Normal Forms 36. Herbrand’s Method 37. Other Methods for Validity 38. Deduction 39. Soundness 40. Deductive Strategy IV. Glimpses Beyond 41. Singular Terms 42. Identity 43. Descriptions 44. Elimination of Singular Terms 45. Elimination of Variables 46. Classes 47. Number 48. Axiomatic Set Theory Partial Answers to Exercises Bibliography Index +
9780674571761
1 Αντίτυπο(α)
Χρόνος αποστολής και χρεώσεις:

Λεπτομερειες

Εκδότης
HARVARD UNIVERSITY PRESS
ISBN
9780674571761
Σελίδες
344
Έκδοση
1982
Τύπος
ΕΝΤΥΠΗ ΕΚΔΟΣΗ
Κατάσταση
Καινουριο
Διαστάσεις
23x15

Συγγραφέας: QUINE V. WILLARD [VAN ORMAN QUINE WILLARD]

Ο Ουίλαρντ βαν Όρμαν Κουίν [1908-2000], ήταν Αμερικανός φιλόσοφος και λογικολόγος της αναλυτικής παράδοσης, ο οποίος θεωρείται ένας από τους σημαντικότερους φιλοσόφους του 20ού αιώνα.

Ισως θελετε να δείτε και...