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.
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek
| Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek |
| Autore | Krajícek, Jan |
| Pubbl/distr/stampa | Cambridge [England] ; New York : Cambridge University Press, 1995 |
| Descrizione fisica | xiii, 343 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Encyclopedia of mathematics and its applications ; 60 |
| Soggetto topico |
Computational complexity
Constructive mathematics Proposition (Logic) |
| ISBN | 0521452058 |
| Classificazione |
AMS 03F
QA9.56.K73 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000722369707536 |
Krajícek, Jan
|
||
| Cambridge [England] ; New York : Cambridge University Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 [[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-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 | ||
| ||
Constructive continuity / / Mark Mandelkern
| Constructive continuity / / Mark Mandelkern |
| Autore | Mandelkern Mark <1933-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1983] |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina |
510 s
515.7 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functions, Continuous
Constructive mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0687-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""CONTENTS""; ""ABSTRACT""; ""1. PROBLEMS, METHODS, AND MAIN RESULTS""; ""PART I. PRELIMINARIES""; ""2. Brouwerian Counterexamples""; ""3. Real Numbers""; ""4. Infima and Suprema""; ""5. Metric Spaces""; ""PART II. RELIEFS AND CONTINUOUS FUNCTIONS""; ""6. Reliefs""; ""7. Continuity""; ""8. Intermediate Values""; ""9. Bounds and Extremes""; ""10. Connectivity and Convexity""; ""11. Located Sets""; ""PART III. MONOTONE FUNCTIONS""; ""12. Monotonicity""; ""13. Monotonicity and Continuity""; ""PART IV. RELIEF FUNCTIONS AND THE LIMITED CONTINUITY PRINCIPLE""; ""14. Relief Functions""
""15. Existence of Relief Functions""""16. The Limited Continuity Principle""; ""REFERENCES""; ""INDEX OF SYMBOLS""; ""INDEX OF TERMS"" |
| Record Nr. | UNINA-9910479927903321 |
|
Mandelkern Mark <1933->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1983] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive continuity / / Mark Mandelkern
| Constructive continuity / / Mark Mandelkern |
| Autore | Mandelkern Mark <1933-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1983] |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina |
510 s
515.7 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functions, Continuous
Constructive mathematics |
| ISBN | 1-4704-0687-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""CONTENTS""; ""ABSTRACT""; ""1. PROBLEMS, METHODS, AND MAIN RESULTS""; ""PART I. PRELIMINARIES""; ""2. Brouwerian Counterexamples""; ""3. Real Numbers""; ""4. Infima and Suprema""; ""5. Metric Spaces""; ""PART II. RELIEFS AND CONTINUOUS FUNCTIONS""; ""6. Reliefs""; ""7. Continuity""; ""8. Intermediate Values""; ""9. Bounds and Extremes""; ""10. Connectivity and Convexity""; ""11. Located Sets""; ""PART III. MONOTONE FUNCTIONS""; ""12. Monotonicity""; ""13. Monotonicity and Continuity""; ""PART IV. RELIEF FUNCTIONS AND THE LIMITED CONTINUITY PRINCIPLE""; ""14. Relief Functions""
""15. Existence of Relief Functions""""16. The Limited Continuity Principle""; ""REFERENCES""; ""INDEX OF SYMBOLS""; ""INDEX OF TERMS"" |
| Record Nr. | UNINA-9910788898903321 |
|
Mandelkern Mark <1933->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1983] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive continuity / / Mark Mandelkern
| Constructive continuity / / Mark Mandelkern |
| Autore | Mandelkern Mark <1933-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1983] |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina |
510 s
515.7 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functions, Continuous
Constructive mathematics |
| ISBN | 1-4704-0687-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""CONTENTS""; ""ABSTRACT""; ""1. PROBLEMS, METHODS, AND MAIN RESULTS""; ""PART I. PRELIMINARIES""; ""2. Brouwerian Counterexamples""; ""3. Real Numbers""; ""4. Infima and Suprema""; ""5. Metric Spaces""; ""PART II. RELIEFS AND CONTINUOUS FUNCTIONS""; ""6. Reliefs""; ""7. Continuity""; ""8. Intermediate Values""; ""9. Bounds and Extremes""; ""10. Connectivity and Convexity""; ""11. Located Sets""; ""PART III. MONOTONE FUNCTIONS""; ""12. Monotonicity""; ""13. Monotonicity and Continuity""; ""PART IV. RELIEF FUNCTIONS AND THE LIMITED CONTINUITY PRINCIPLE""; ""14. Relief Functions""
""15. Existence of Relief Functions""""16. The Limited Continuity Principle""; ""REFERENCES""; ""INDEX OF SYMBOLS""; ""INDEX OF TERMS"" |
| Record Nr. | UNINA-9910828762603321 |
|
Mandelkern Mark <1933->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1983] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive functional analysis / D. S. Bridges
| Constructive functional analysis / D. S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | London ; San Francisco : Pitman Publishing, 1979 |
| Descrizione fisica | 203 p. ; 25 cm. |
| Disciplina | 515.7 |
| Collana | Pitman research notes in mathematics series, ISSN 02693674 ; 28 |
| Soggetto topico |
Best approximations
Constructive mathematics Functional analysis Proof theory |
| ISBN | 0273084186 |
| Classificazione |
AMS 03F99
AMS 41A50 AMS 46-01 AMS 46-XX QA320 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784669707536 |
|
Bridges, Douglas S.
|
||
| London ; San Francisco : Pitman Publishing, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (X, 350 p.) |
| Disciplina | 511.36 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Constructive mathematics
Intuitionistic mathematics |
| ISBN | 3-540-38759-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Seidenberg's condition P -- Field extensions -- Dedekind domains -- Effective mathematics — the computer algebra viewpoint -- On some open problems in constructive probability theory -- Consistency and independence results in intuitionistic set theory -- Errata -- Computability of ordinal recursion of type level two -- A constructive approach to classical mathematics -- Remarks on the notion of standard non-isomorphic natural number series -- Reflections on Bishop's philosophy of mathematics -- Formalizing constructive mathematics: Why and how? -- Independence of premisses and the free topos -- An intuitionistic infinitesimal calculus -- Liberal constructive set theory -- Locating metric complements in ?n -- A disjunctive decomposition theorem for classical theories -- Towards a constructive foundation for quantum mechanics -- About infinity, finiteness and finitization (in connection with the foundations of mathematics) -- A class of theorems with valid constructive counterparts -- Rational constructive analysis. |
| Record Nr. | UNISA-996466490703316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
