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.
Equalities and approximations : with fortran programming / Robert D. Larsson
| Equalities and approximations : with fortran programming / Robert D. Larsson |
| Autore | Larsson, Robert D. |
| Pubbl/distr/stampa | New York : John Wiley, 1963 |
| Disciplina | 512.817 |
| Soggetto non controllato | Algebra lineare numerica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001228880403321 |
Larsson, Robert D.
|
||
| New York : John Wiley, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exercises in set theory / L. E. Sigler
| Exercises in set theory / L. E. Sigler |
| Autore | Sigler, L. E. |
| Pubbl/distr/stampa | New York [etc.] : Springer, 1976 |
| Descrizione fisica | 134 p. ; 23 cm |
| Disciplina | 512.817 |
| ISBN |
0387901930
3540901930 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000012008 |
|
Sigler, L. E.
|
||
| New York [etc.] : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Rings and radicals / by N. J. Divinsky
| Rings and radicals / by N. J. Divinsky |
| Autore | Divinsky, N.J. |
| Pubbl/distr/stampa | [Toronto] : University of Toronto Press, 1965 |
| Descrizione fisica | xii, 160 p. ; 23 cm |
| Disciplina | 512.817 |
| Collana | Mathematical expositions |
| Soggetto non controllato |
Insiemi
Strutture algebriche |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002558470403321 |
|
Divinsky, N.J.
|
||
| [Toronto] : University of Toronto Press, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / / edited by Arnold Koslow, Arthur Buchsbaum
| The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / / edited by Arnold Koslow, Arthur Buchsbaum |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
| Descrizione fisica | 1 online resource (519 p.) |
| Disciplina | 512.817 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic Mathematics History Mathematical Logic and Foundations History of Mathematical Sciences |
| ISBN | 3-319-10193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami.- Homotopical categories of logics by Peter Arndt -- Semi‐implication: A Chapter in Universal Logic by Arnon Avron -- A Formal Framework for Hypersequent Calculi and their Fibring by Marcelo Esteban Coniglio and Martin Figallo -- Investigating Knowledge and Opinion by John Corcoran and Idris Samawi Ha -- The Algebra of Opposition (and universal logic interpretations) by Razvan Diaconescu -- Universal Logic as the Science of Patterns by Brian Gaines -- Hexagonal Logic of the Field F8 as a Boolean Logic with Three Involutive Modalities by René Guitart -- The move from one to two quantifiers by Wilfrid Hodges -- On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening by Laurence Horn -- Aristotle on Language and Universal Proof by Jean‐Louis Hudry -- Béziau on And and Or by Lloyd Humberstone -- Universal Logic or Logics in Resemblance Families by Dale Jacquette -- Causality and Attribution in an Aristotelian Theory by Srecko Kovac -- Using Each Other's Words by Marcus Kracht -- On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” by Javier Legris -- Caramuel and the “Quantification of the Predicate” by Wolfgang Lenzen -- Lossy Inference Rules and their Bounds: a Brief Review by David Makinson and James Hawthorne -- Nonsets by Daniel Parrochia -- A Roadmap to Decidability by João Rasga, Cristina Sernadas and Amílcar Sernadas -- John Buridan on Non‐Contingency Syllogisms by Stephen Read -- Symbolic Existence in Hugh MacColl: a dialogical approach by Juan Redmond -- Beziau's Contributions to the Logical Geometry of Modalities and Quantifiers by Hans Smessaert and Lorenz Demey -- On Metalogical Pluralism by Vladimir L. Vasyukov -- Constructivism and Metamathematics by Jan Woleński. < . |
| Record Nr. | UNINA-9910299778303321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Set theory for the mathematician / Jean E. Rubin
| Set theory for the mathematician / Jean E. Rubin |
| Autore | Rubin, Jean E. |
| Pubbl/distr/stampa | San Francisco : Holden-Day, c1967 |
| Descrizione fisica | xi, 387 p. : ill. ; 24 cm. |
| Disciplina | 512.817 |
| Collana | Holden-Day series in mathematics |
| Soggetto topico | Set theory |
| Classificazione | AMS 04-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001340149707536 |
|
Rubin, Jean E.
|
||
| San Francisco : Holden-Day, c1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Sets and integration : an outline of the development / D. van Dalen and A. F. Monna
| Sets and integration : an outline of the development / D. van Dalen and A. F. Monna |
| Autore | Dalen, Dirk : van |
| Pubbl/distr/stampa | Groningen : Wolters-Noordhoff, c1972 |
| Descrizione fisica | VIII, 162 p. : ill. ; 25 cm |
| Disciplina | 512.817 |
| Altri autori (Persone) | Monna, A. F. |
| Soggetto non controllato | Insiemi - Teoria |
| ISBN | 9001597750 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000011830 |
|
Dalen, Dirk : van
|
||
| Groningen : Wolters-Noordhoff, c1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Theory of symmetry and ornament / Slavik V. Jablan
| Theory of symmetry and ornament / Slavik V. Jablan |
| Autore | Jablan, Slavik V. |
| Pubbl/distr/stampa | Beograd : Matematicki Inst. SANU, 1995 (Zemun : Galeb) |
| Descrizione fisica | 331 p. : ill. ; 24 cm |
| Disciplina | 512.817 |
| Collana | Posebna izdania ; knj. 17 |
| Soggetto topico | Geometric groups |
| ISBN | 8680593176 |
| Classificazione | AMS 20H15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001438719707536 |
|
Jablan, Slavik V.
|
||
| Beograd : Matematicki Inst. SANU, 1995 (Zemun : Galeb) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Transfinite Zahlen / Heinz Bachmann
| Transfinite Zahlen / Heinz Bachmann |
| Autore | Bachmann, Heinz |
| Edizione | [2. neubearb. Aufl.] |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1967 |
| Descrizione fisica | viii, 228 p. ; 24 cm |
| Disciplina | 512.817 |
| Collana |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 1
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 1 = A series of modern surveys in mathematics, 0071-1136 ; 1 |
| Soggetto topico | Transfinite numbers |
| Classificazione |
AMS 04A10
LC QA248.B34 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991001458209707536 |
|
Bachmann, Heinz
|
||
| Berlin ; New York : Springer-Verlag, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||