top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Manuale di logica / Willard van Orman Quine ; introduzione di Michele Pacifico
Manuale di logica / Willard van Orman Quine ; introduzione di Michele Pacifico
Autore Quine, Willard Van Orman
Pubbl/distr/stampa Milano : Feltrinelli, 1964
Descrizione fisica XLVIII, 332 p. ; 22 cm.
Disciplina 511.3
Altri autori (Persone) Pacifico, Michele
Collana Filosofia della scienza ; 1
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991003621489707536
Quine, Willard Van Orman  
Milano : Feltrinelli, 1964
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Manuale di logica / Willard Van Orman Quine ; introduzione di Michele Pacifico
Manuale di logica / Willard Van Orman Quine ; introduzione di Michele Pacifico
Autore Quine, Willard Van Orman
Edizione [2. ed.]
Pubbl/distr/stampa Milano : Feltrinelli, 1961
Descrizione fisica XLVIII, 332 p. ; 23 cm
Disciplina 511.3
Altri autori (Persone) Pacifico, Michele
Collana Filosofia della scienza
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000548839707536
Quine, Willard Van Orman  
Milano : Feltrinelli, 1961
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematical logic [[electronic resource] /] / by Willard Van Orman Quine
Mathematical logic [[electronic resource] /] / by Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Rev. ed.]
Pubbl/distr/stampa Cambridge, MA, : Harvard University Press, c1981
Descrizione fisica xii, 346 p
Soggetto topico Logic, Symbolic and mathematical
Mathematics
Soggetto genere / forma Electronic books.
ISBN 0-674-04246-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects
Record Nr. UNINA-9910455194003321
Quine W. V (Willard Van Orman)  
Cambridge, MA, : Harvard University Press, c1981
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical logic
Mathematical logic
Autore QUINE, Willard van Orman
Edizione [Rev. ed]
Pubbl/distr/stampa Cambridge, : Harvard University Press, 1981
Descrizione fisica XII, 346 p. ; 20 cm
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 0-674-55450-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003226060203316
QUINE, Willard van Orman  
Cambridge, : Harvard University Press, 1981
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mathematical logic / / Willard Van Orman Quine
Mathematical logic / / Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Revised edition.]
Pubbl/distr/stampa Cambridge, Mass. : , : Harvard University Press, , 1981
Descrizione fisica 1 online resource (xii, 346 pages)
Soggetto topico Logic, Symbolic and mathematical
Mathematics
ISBN 0-674-04246-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects
Record Nr. UNINA-9910778448903321
Quine W. V (Willard Van Orman)  
Cambridge, Mass. : , : Harvard University Press, , 1981
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical logic / / Willard Van Orman Quine
Mathematical logic / / Willard Van Orman Quine
Autore Quine W. V (Willard Van Orman)
Edizione [Revised edition.]
Pubbl/distr/stampa Cambridge, Mass. : , : Harvard University Press, , 1981
Descrizione fisica 1 online resource (xii, 346 pages)
Soggetto topico Logic, Symbolic and mathematical
Mathematics
ISBN 0-674-04246-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects
Record Nr. UNINA-9910812920903321
Quine W. V (Willard Van Orman)  
Cambridge, Mass. : , : Harvard University Press, , 1981
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical logic
Mathematical logic
Autore QUINE, Willard van Orman
Edizione [Rev. ed]
Pubbl/distr/stampa Cambridge (Mass.) : Harvard University Press, 1965
Descrizione fisica XII, 346 p. ; 21 cm
Disciplina 511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002312500203316
QUINE, Willard van Orman  
Cambridge (Mass.) : Harvard University Press, 1965
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Methods of logic / Willard van Orman Quine
Methods of logic / Willard van Orman Quine
Autore QUINE, Willard van Orman
Pubbl/distr/stampa London : Routledge & Kegan, 1970
Descrizione fisica XIX, 272 p. ; 22 cm
Disciplina 160
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000461070203316
QUINE, Willard van Orman  
London : Routledge & Kegan, 1970
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Methods of logic / W.V. Quine
Methods of logic / W.V. Quine
Autore Quine, Willard Van Orman
Edizione [4. ed.]
Pubbl/distr/stampa Cambridge, Mass. : Harvard University Press, 1982
Descrizione fisica x, 333 p. : ill. ; 24 cm.
Disciplina 160.21
Soggetto topico Logica
ISBN 0674571762
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001853989707536
Quine, Willard Van Orman  
Cambridge, Mass. : Harvard University Press, 1982
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Methods of logic
Methods of logic
Autore Quine, Willard Van Orman
Pubbl/distr/stampa New York : Holt, Rineahart and Winston, 1962
Descrizione fisica 272 p. ; 21 cm.
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991003703909707536
Quine, Willard Van Orman  
New York : Holt, Rineahart and Winston, 1962
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui