Imagen de Amazon.com
Portada de Syndetics
Imagen de OpenLibrary
Methods of logic W.V. Quine.
Detalles de publicación: Cambridge, Mass. Harvard University Press 1982.Edición: 4th edDescripción: x, 333 p. ill. 24 cmISBN:- 0674571754
- 0674571762 (pbk.)
- 160 19
- BC71 .Q5 1982
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Libro | Biblioteca de Derecho Mons. Fremiot Torres Oliver Colección General biblioteca derecho | BC 71 Q5 1982 (Navegar estantería(Abre debajo)) | Disponible | 70000000001482 |
Total de reservas: 0
Descripciones mejoradas de Syndetics:
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.
Includes index.
Bibliography: p. 320-326.
Tabla de contenidos provista por Syndetics
- Introduction
- Part 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
- Part 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
- Part III General Theory of Quantification
- 27 Schemata Extended
- 28 Substitution Extended
- 29 Pure Existentials
- 30 The Main Method
- 31 Application
- 32 Completeness
- 33 Louml;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
- Part 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