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.
Computation, logic, philosophy : A collection of Essays / Wang Hao.
| Computation, logic, philosophy : A collection of Essays / Wang Hao. |
| Autore | Hao, Wang |
| Pubbl/distr/stampa | Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 |
| Descrizione fisica | XXVII, 373 p. ; 24 cm |
| Disciplina | 511 |
| Soggetto non controllato |
Logica generale
Teoria della ricorsivita' |
| ISBN | 7-03-000211-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001324800403321 |
Hao, Wang
|
||
| Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational methods in ordinary differential equations / J. D. Lambert
| Computational methods in ordinary differential equations / J. D. Lambert |
| Autore | Lambert, J. D. |
| Pubbl/distr/stampa | Chichester : J. Wiley & Sons, 1973 |
| Descrizione fisica | xv, 278 p. ; 24 cm |
| Disciplina | 511 |
| Collana | Introductory mathematics for scientists and engineers |
| Soggetto topico | Ordinary differential equations |
| ISBN | 0471511943 |
| Classificazione | AMS 65L |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000775269707536 |
|
Lambert, J. D.
|
||
| Chichester : J. Wiley & Sons, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computers and Graph Theory : Representing Knowledge for Processing by Computers / Ramachandran Bharath
| Computers and Graph Theory : Representing Knowledge for Processing by Computers / Ramachandran Bharath |
| Autore | Bharath, Ramachandran |
| Pubbl/distr/stampa | New York : Ellis Horwood, 1991 |
| Descrizione fisica | 136 p. ; 24 cm |
| Disciplina | 511 |
| Soggetto non controllato | Metodi matematici per la statistica, Teoria dei grafi, Informatica |
| ISBN | 0131616056 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002538230403321 |
|
Bharath, Ramachandran
|
||
| New York : Ellis Horwood, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Connections in combinatorial optimization / Andras Frank
| Connections in combinatorial optimization / Andras Frank |
| Autore | Frank, Andras |
| Pubbl/distr/stampa | New York : Oxford University Press, 2011 |
| Descrizione fisica | xxiii, 639 p. ; 24 cm |
| Disciplina | 511 |
| Collana | Oxford lecture series in mathematics and its applications |
| Soggetto non controllato | Teoria dei grafi, Combinatorica |
| ISBN | 978-0-19920527-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009432460403321 |
|
Frank, Andras
|
||
| New York : Oxford University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Connectivity in graphs / by W. T. Tutte
| Connectivity in graphs / by W. T. Tutte |
| Autore | Tutte, William Thomas |
| Pubbl/distr/stampa | Toronto : University of Toronto Press, 1966 |
| Descrizione fisica | v, 143 p. ; 23 cm |
| Disciplina | 511 |
| Collana | Mathematical expositions |
| Soggetto non controllato | Teoria dei grafi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001238710403321 |
|
Tutte, William Thomas
|
||
| Toronto : University of Toronto Press, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / Charles S. Chihara
| Constructibility and mathematical existence / Charles S. Chihara |
| Autore | Chihara, Charles S. |
| Pubbl/distr/stampa | Oxford (N.Y.) : Clarendon Press, c1990 |
| Descrizione fisica | XV, 282 p. ; 22 cm |
| Disciplina | 511 |
| Soggetto non controllato |
Matematica - Filosofia
Logica - Filosofia |
| ISBN | 0-19-823975-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001319720403321 |
|
Chihara, Charles S.
|
||
| Oxford (N.Y.) : Clarendon Press, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | 1 online resource (299 p.) |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-98918-5
9786611989187 0-19-152000-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910454674903321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | xv, 282 p. : ill |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
0191520004
9780191520006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910795842803321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / / Charles S. Chihara
| Constructibility and mathematical existence / / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | xv, 282 p. : ill |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
0191520004
9780191520006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Acknowledgements -- Contents -- I: The Constructibility Theory -- 1. The Problem of Existence in Mathematics -- 1. The Philosophical Problem -- 2. Quine's Platonism -- 3. Gödel's Platonism -- 4. Heyting's Intuitionism -- 2. The Constructibility Quantifiers -- 1. Introduction -- 2. The Language L -- 3. The Language L* -- 4. Some Objections Considered -- 3. Constructibility and Open-Sentences -- 1. The Constructibility of Open-Sentences -- 2. A Simple Type Theory for Open-Sentences -- 3. A Comparison with a Predicative System -- 4. The Logical Space of Open-Sentences -- 5. The Kinds of Open-Sentences to be Discussed -- 6. Quine's Objections to Modality -- 4. The Deductive System -- 1. The Language Lt -- 2. The Theory Ct -- 3. Objections to Type Theory -- 4. Objections to the Constructibility Theory -- 5. Cardinality and Number Theory -- 1. Formal Developments -- 2. Philosophical Amplifications -- 6. Measurable Quantities and Analysis -- 1. A Standard Development of Real Analysis -- 2. A Theory of Lengths -- 3. Geometrical Representations of Functions -- 4. Putnam's Case for Realism -- 5. Complex Analysis -- 6. Applications by Means of Structural Identity -- II: Philosophical Developments -- 7. Mathematical Structuralism -- 1. Introduction -- 2. The Structuralist View of Applications -- 3. Resnik on the Nature of Structures -- 4. An Evaluation of Shapiro's Account of Mathematics -- 5. An Evaluation of Resnik's Account of Structures -- 8. Science without Numbers -- 1. Introduction to Field's Instrumentalism -- 2. The Conservation Theorem -- 3. Field's Cardinality Theory -- 4. Field's Nominalistic Physics -- 5. Some Doubts about the Adequacy of Field's View -- 6. A Comparison with the Constructibility Theory -- 7. A Re-examination of Resnik's Reasoning -- 8. The Neo-Quinian Argument Reconsidered.
9. Why Burgess Is a Moderate Realist -- 1. A Dilemma for the Nominalist -- 2. A False Dilemma -- 3. Burgess's Objection to Field's Preference for Nominalism -- 10. Maddy's Solution to the Problem of Reference -- 1. Involved Platonists -- 2. Problems of Reference for Mathematical Platonism -- 3. Maddy's Solution -- 4. Doubts about Maddy's Solution -- 5. Concluding Comments -- 11. Kitcher's Ideal Agents -- 1. Kitcher's Account of Mathematical Knowledge -- 2. An Analysis of Kitcher's View: Details and Doubts -- 12. Deflationism and Mathematical Truth -- 1. Field's Deflationism -- 2. A Reconsideration of the Veridicality of Mathematics -- Appendix: Field's Nominalistic Logical Theory -- Postscript -- Bibliography -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- V -- W -- Z. |
| Record Nr. | UNINA-9910823203403321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / Charles S. Chihara
| Constructibility and mathematical existence / Charles S. Chihara |
| Autore | Chihara, Charles S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1990 |
| Descrizione fisica | xv, 282 p. : ill. ; 23 cm. |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Mathematical logic Mathematics-philosophy Symbolic logic |
| ISBN | 0198239750 |
| Classificazione | QAB.4.C45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000783669707536 |
|
Chihara, Charles S.
|
||
| Oxford : Clarendon Press, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
