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.
Frege's logic [[electronic resource] /] / Danielle Macbeth
| Frege's logic [[electronic resource] /] / Danielle Macbeth |
| Autore | Macbeth Danielle |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 2005 |
| Descrizione fisica | 1 online resource (219 p.) |
| Disciplina | 160/.92 |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-674-04039-2 |
| Classificazione | CC 2500 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Introduction -- 1. The Starting Point -- 2. Logical Generality -- 3. A More Sophisticated Instrument -- 4. The Work Brought to Maturity -- 5. Courses of Values and Basic Law V -- Epilogue -- Notes -- Abbreviations for Works / Frege, Gottlob -- Index |
| Record Nr. | UNINA-9910454949803321 |
Macbeth Danielle
|
||
| Cambridge, MA, : Harvard University Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frege's logic [[electronic resource] /] / Danielle Macbeth
| Frege's logic [[electronic resource] /] / Danielle Macbeth |
| Autore | Macbeth Danielle |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 2005 |
| Descrizione fisica | 1 online resource (219 p.) |
| Disciplina | 160/.92 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN | 0-674-04039-2 |
| Classificazione | CC 2500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Introduction -- 1. The Starting Point -- 2. Logical Generality -- 3. A More Sophisticated Instrument -- 4. The Work Brought to Maturity -- 5. Courses of Values and Basic Law V -- Epilogue -- Notes -- Abbreviations for Works / Frege, Gottlob -- Index |
| Record Nr. | UNINA-9910778188803321 |
|
Macbeth Danielle
|
||
| Cambridge, MA, : Harvard University Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frege's logic / / Danielle Macbeth
| Frege's logic / / Danielle Macbeth |
| Autore | Macbeth Danielle |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 2005 |
| Descrizione fisica | 1 online resource (219 p.) |
| Disciplina | 160/.92 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
9780674040397
0674040392 |
| Classificazione | CC 2500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Introduction -- 1. The Starting Point -- 2. Logical Generality -- 3. A More Sophisticated Instrument -- 4. The Work Brought to Maturity -- 5. Courses of Values and Basic Law V -- Epilogue -- Notes -- Abbreviations for Works / Frege, Gottlob -- Index |
| Record Nr. | UNINA-9910953395803321 |
|
Macbeth Danielle
|
||
| Cambridge, MA, : Harvard University Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Russell's hidden substitutional theory / / Gregory Landini
| Russell's hidden substitutional theory / / Gregory Landini |
| Autore | Landini Gregory |
| Pubbl/distr/stampa | New York ; , : Oxford University Press, , 2023 |
| Descrizione fisica | 1 online resource (350 p.) |
| Disciplina | 160/.92 |
| Collana | Oxford scholarship online |
| Soggetto topico |
Proposition (Logic) - History - 20th century
Logic, Symbolic and mathematical - History - 20th century |
| ISBN |
0-19-773158-9
1-280-47029-1 0-19-535372-2 0-585-32906-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Introduction; Quodlibet Ens Est Unum; Overview; 1 Russell's Logicist Program; 2 The Logic of The Principles of Mathematics; 3 The New Theory of the Variable; 4 The Logic of Substitution; 5 The ""No Propositional Functions"" Theory; 6 The ""No-Classes"" Theory; 7 The ""No-Relations[sub(e)]"" Theory; 8 Les Paradoxes de la Logique; 9 Mathematical Logic as Based on the Theory of Types; 10 The Logic of Principia Mathematica; Appendix A: Proof of the Peano Postulates; Appendix B: Axioms, Theorems, and Definitions; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R
ST; U; V; W; Z |
| Record Nr. | UNINA-9910958773803321 |
|
Landini Gregory
|
||
| New York ; , : Oxford University Press, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini
| Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini |
| Autore | Landini Gregory |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1998 |
| Descrizione fisica | 1 online resource (350 p.) |
| Disciplina | 160/.92 |
| Soggetto topico |
Proposition (Logic) - History - 20th century
Logic, Symbolic and mathematical - History - 20th century |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-47029-1
0-19-535372-2 0-585-32906-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Introduction; Quodlibet Ens Est Unum; Overview; 1 Russell's Logicist Program; 2 The Logic of The Principles of Mathematics; 3 The New Theory of the Variable; 4 The Logic of Substitution; 5 The ""No Propositional Functions"" Theory; 6 The ""No-Classes"" Theory; 7 The ""No-Relations[sub(e)]"" Theory; 8 Les Paradoxes de la Logique; 9 Mathematical Logic as Based on the Theory of Types; 10 The Logic of Principia Mathematica; Appendix A: Proof of the Peano Postulates; Appendix B: Axioms, Theorems, and Definitions; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R
ST; U; V; W; Z |
| Record Nr. | UNINA-9910455722003321 |
|
Landini Gregory
|
||
| New York, : Oxford University Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini
| Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini |
| Autore | Landini Gregory |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1998 |
| Descrizione fisica | 1 online resource (350 p.) |
| Disciplina | 160/.92 |
| Soggetto topico |
Proposition (Logic) - History - 20th century
Logic, Symbolic and mathematical - History - 20th century |
| ISBN |
0-19-773158-9
1-280-47029-1 0-19-535372-2 0-585-32906-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Introduction; Quodlibet Ens Est Unum; Overview; 1 Russell's Logicist Program; 2 The Logic of The Principles of Mathematics; 3 The New Theory of the Variable; 4 The Logic of Substitution; 5 The ""No Propositional Functions"" Theory; 6 The ""No-Classes"" Theory; 7 The ""No-Relations[sub(e)]"" Theory; 8 Les Paradoxes de la Logique; 9 Mathematical Logic as Based on the Theory of Types; 10 The Logic of Principia Mathematica; Appendix A: Proof of the Peano Postulates; Appendix B: Axioms, Theorems, and Definitions; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R
ST; U; V; W; Z |
| Record Nr. | UNINA-9910778719503321 |
|
Landini Gregory
|
||
| New York, : Oxford University Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||