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.
Introduction to logic and to the methodology of the deductive sciences / / by Alfred Tarski
| Introduction to logic and to the methodology of the deductive sciences / / by Alfred Tarski |
| Autore | Tarski Alfred |
| Edizione | [4th ed. /] |
| Pubbl/distr/stampa | New York ; , : Oxford University Press, , 2023 |
| Descrizione fisica | 1 online resource (254 p.) |
| Disciplina | 511.3 |
| Collana | Oxford scholarship online |
| Soggetto topico |
Mathematics - Philosophy
Arithmetic - Foundations |
| ISBN |
0-19-772719-0
1-280-52334-4 9786610523344 0-19-802139-9 1-4294-0542-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; From Author's Prefaces to Previous Editions; Editor's Preface; A Short Biographical Sketch of Alfred Tarski; First Part. Elements of Logic. Deductive Method; I: On the Use of Variables; II: On the Sentential Calculus; III: On the Theory of Identity; IV: On the Theory of Classes; V: On the Theory of Relations; VI: On the Deductive Method; Second Part. Applications of Logic and Methodology in Constructing Mathematical Theories; VII: Construction of a Mathematical Theory: Laws of Order for Numbers; VIII: Construction of a Mathematical Theory: Laws of Addition and Subtraction
IX: Methodological Considerations on the Constructed TheoryX: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z |
| Record Nr. | UNINA-9910820125303321 |
Tarski Alfred
|
||
| New York ; , : Oxford University Press, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to logic and to the methodology of the deductive sciences [[electronic resource] /] / by Alfred Tarski
| Introduction to logic and to the methodology of the deductive sciences [[electronic resource] /] / by Alfred Tarski |
| Autore | Tarski Alfred |
| Edizione | [4th ed. /] |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1994 |
| Descrizione fisica | 1 online resource (254 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | TarskiJan |
| Collana | Oxford logic guides |
| Soggetto topico |
Mathematics - Philosophy
Arithmetic - Foundations |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-52334-4
9786610523344 0-19-802139-9 1-4294-0542-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; From Author's Prefaces to Previous Editions; Editor's Preface; A Short Biographical Sketch of Alfred Tarski; First Part. Elements of Logic. Deductive Method; I: On the Use of Variables; II: On the Sentential Calculus; III: On the Theory of Identity; IV: On the Theory of Classes; V: On the Theory of Relations; VI: On the Deductive Method; Second Part. Applications of Logic and Methodology in Constructing Mathematical Theories; VII: Construction of a Mathematical Theory: Laws of Order for Numbers; VIII: Construction of a Mathematical Theory: Laws of Addition and Subtraction
IX: Methodological Considerations on the Constructed TheoryX: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z |
| Record Nr. | UNINA-9910451694503321 |
|
Tarski Alfred
|
||
| New York, : Oxford University Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to logic and to the methodology of the deductive sciences [[electronic resource] /] / by Alfred Tarski
| Introduction to logic and to the methodology of the deductive sciences [[electronic resource] /] / by Alfred Tarski |
| Autore | Tarski Alfred <1901-1983.> |
| Edizione | [4th ed. /] |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1994 |
| Descrizione fisica | 1 online resource (254 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | TarskiJan |
| Collana | Oxford logic guides |
| Soggetto topico |
Mathematics - Philosophy
Arithmetic - Foundations |
| ISBN |
0-19-772719-0
1-280-52334-4 9786610523344 0-19-802139-9 1-4294-0542-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; From Author's Prefaces to Previous Editions; Editor's Preface; A Short Biographical Sketch of Alfred Tarski; First Part. Elements of Logic. Deductive Method; I: On the Use of Variables; II: On the Sentential Calculus; III: On the Theory of Identity; IV: On the Theory of Classes; V: On the Theory of Relations; VI: On the Deductive Method; Second Part. Applications of Logic and Methodology in Constructing Mathematical Theories; VII: Construction of a Mathematical Theory: Laws of Order for Numbers; VIII: Construction of a Mathematical Theory: Laws of Addition and Subtraction
IX: Methodological Considerations on the Constructed TheoryX: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z |
| Record Nr. | UNINA-9910777628503321 |
|
Tarski Alfred <1901-1983.>
|
||
| New York, : Oxford University Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione elementare alla matematica moderna / Attilio Frajese
| Introduzione elementare alla matematica moderna / Attilio Frajese |
| Autore | Frajese, Attilio |
| Pubbl/distr/stampa | Firenze : Le Monnier, 1969 |
| Descrizione fisica | xi, 398 p. : ill. ; 24 cm |
| Disciplina | 510 |
| Collana | La matematica nella cultura e nella scuola ; 1 |
| Soggetto topico | Arithmetic - Foundations |
| Classificazione | LC QA248.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003797699707536 |
|
Frajese, Attilio
|
||
| Firenze : Le Monnier, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Models of Peano arithmetic / Richard Kaye
| Models of Peano arithmetic / Richard Kaye |
| Autore | Kaye, Richard |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1991 |
| Descrizione fisica | 292 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Oxford logic guides ; 15 |
| Soggetto topico |
Model theory
Arithmetic - Foundations |
| ISBN | 019853213X |
| Classificazione | AMS 03C62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001152309707536 |
|
Kaye, Richard
|
||
| Oxford : Clarendon Press, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Positive dynamical systems in discrete time : theory, models, and applications by / / Ulrich Krause
| Positive dynamical systems in discrete time : theory, models, and applications by / / Ulrich Krause |
| Autore | Krause Ulrich <1940-> |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : Walter de Gruyter GmbH & Co., KG, , [2015] |
| Descrizione fisica | 1 online resource (366 p.) |
| Disciplina | 515/.39 |
| Collana | De Gruyter studies in mathematics |
| Soggetto topico |
Arithmetic - Foundations
Set theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-036569-3
3-11-039134-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Notation -- List of Figures -- 1. How positive discrete dynamical systems do arise -- 2. Concave Perron-Frobenius theory -- 3. Internal metrics on convex cones -- 4. Contractive dynamics on metric spaces -- 5. Ascending dynamics in convex cones of infinite dimension -- 6. Limit set trichotomy -- 7. Non-autonomous positive systems -- 8. Dynamics of interaction: opinions, mean maps, multi-agent coordination, and swarms -- Index -- Backmatter |
| Record Nr. | UNINA-9910464461603321 |
|
Krause Ulrich <1940->
|
||
| Berlin ; ; Boston : , : Walter de Gruyter GmbH & Co., KG, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Positive dynamical systems in discrete time : theory, models, and applications by / / Ulrich Krause
| Positive dynamical systems in discrete time : theory, models, and applications by / / Ulrich Krause |
| Autore | Krause Ulrich <1940-> |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : Walter de Gruyter GmbH & Co., KG, , [2015] |
| Descrizione fisica | 1 online resource (366 p.) |
| Disciplina | 515/.39 |
| Collana | De Gruyter studies in mathematics |
| Soggetto topico |
Arithmetic - Foundations
Set theory |
| Soggetto non controllato |
(Concave) Perron-Frobenius Theory
Iteration of Means Nonautonomous Dynamical Systems Nonlinear Difference Equations Nonlinear Positive Operators Opinion Dynamics Swarm Dynamics |
| ISBN |
3-11-036569-3
3-11-039134-1 |
| Classificazione | SK 580 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Notation -- List of Figures -- 1. How positive discrete dynamical systems do arise -- 2. Concave Perron-Frobenius theory -- 3. Internal metrics on convex cones -- 4. Contractive dynamics on metric spaces -- 5. Ascending dynamics in convex cones of infinite dimension -- 6. Limit set trichotomy -- 7. Non-autonomous positive systems -- 8. Dynamics of interaction: opinions, mean maps, multi-agent coordination, and swarms -- Index -- Backmatter |
| Record Nr. | UNINA-9910788810403321 |
|
Krause Ulrich <1940->
|
||
| Berlin ; ; Boston : , : Walter de Gruyter GmbH & Co., KG, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Positive dynamical systems in discrete time : theory, models, and applications by / / Ulrich Krause
| Positive dynamical systems in discrete time : theory, models, and applications by / / Ulrich Krause |
| Autore | Krause Ulrich <1940-> |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : Walter de Gruyter GmbH & Co., KG, , [2015] |
| Descrizione fisica | 1 online resource (366 p.) |
| Disciplina | 515/.39 |
| Collana | De Gruyter studies in mathematics |
| Soggetto topico |
Arithmetic - Foundations
Set theory |
| Soggetto non controllato |
(Concave) Perron-Frobenius Theory
Iteration of Means Nonautonomous Dynamical Systems Nonlinear Difference Equations Nonlinear Positive Operators Opinion Dynamics Swarm Dynamics |
| ISBN |
3-11-036569-3
3-11-039134-1 |
| Classificazione | SK 580 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Notation -- List of Figures -- 1. How positive discrete dynamical systems do arise -- 2. Concave Perron-Frobenius theory -- 3. Internal metrics on convex cones -- 4. Contractive dynamics on metric spaces -- 5. Ascending dynamics in convex cones of infinite dimension -- 6. Limit set trichotomy -- 7. Non-autonomous positive systems -- 8. Dynamics of interaction: opinions, mean maps, multi-agent coordination, and swarms -- Index -- Backmatter |
| Record Nr. | UNINA-9910810647103321 |
|
Krause Ulrich <1940->
|
||
| Berlin ; ; Boston : , : Walter de Gruyter GmbH & Co., KG, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Souslin problem / / K. J. Devlin, H. Johnsbraten
| The Souslin problem / / K. J. Devlin, H. Johnsbraten |
| Autore | Devlin Keith J. |
| Edizione | [1st ed. 1974.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1974] |
| Descrizione fisica | 1 online resource (X, 138 p.) |
| Disciplina | 511.322 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Arithmetic - Foundations
Set theory |
| ISBN | 3-540-37822-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- Souslin's hypothesis -- The combinatorial property ? -- Homogeneous souslin trees and lines -- Rigid souslin trees and lines -- Martin's axiom and the consistency of SH -- Towards con(ZFC+CH+SH) : A false start -- Iterated forcing Jensen style -- How Jensen killed a souslin tree -- Con(ZF) ? Con(ZFC+GCH+SH). |
| Record Nr. | UNISA-996466542103316 |
|
Devlin Keith J.
|
||
| Berlin : , : Springer, , [1974] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
