top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Admissible Sets and Structures: An Approach to Definability Theory
Admissible Sets and Structures: An Approach to Definability Theory
Autore Barwise Jon
Pubbl/distr/stampa [Place of publication not identified], : Springer, 1976
Disciplina 511/.3
Collana Perspectives in mathematical logic Admissible sets and structures
Soggetto topico Admissible sets
Definability theory (Mathematical logic)
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996210104103316
Barwise Jon  
[Place of publication not identified], : Springer, 1976
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Admissible Sets and Structures: An Approach to Definability Theory
Admissible Sets and Structures: An Approach to Definability Theory
Autore Barwise Jon
Pubbl/distr/stampa [Place of publication not identified], : Springer, 1976
Disciplina 511/.3
Collana Perspectives in mathematical logic Admissible sets and structures
Soggetto topico Admissible sets
Definability theory (Mathematical logic)
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910482882003321
Barwise Jon  
[Place of publication not identified], : Springer, 1976
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
L'algorithmique et les sciences / / Bernard Chazelle, Chaire annuelle d'informatique et sciences numériques (2012-2013) [[electronic resource]]
L'algorithmique et les sciences / / Bernard Chazelle, Chaire annuelle d'informatique et sciences numériques (2012-2013) [[electronic resource]]
Autore Chazelle B (Bernard)
Pubbl/distr/stampa Collège de France, 2013
Descrizione fisica 1 online resource (101 pages ) : illustrations ;
Collana Les leçons inaugurales du Collège de France ; no 229
Soggetto topico Algorithms
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
Soggetto non controllato algorithmique
systèmes dynamiques
sciences numériques
informatique
ISBN 2-7226-0192-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-9910133351403321
Chazelle B (Bernard)  
Collège de France, 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Bounded variable logics and counting : a study in finite models
Bounded variable logics and counting : a study in finite models
Autore Otto Martin
Edizione [1st ed.]
Pubbl/distr/stampa [Place of publication not identified], : Springer, 1997
Descrizione fisica 1 online resource (190 pages)
Disciplina 511.3/3
Collana Lecture notes in logic Bounded variable logics and counting
Soggetto topico Model theory
Computational complexity
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
ISBN 3-662-21676-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index.
Record Nr. UNISA-996210818203316
Otto Martin  
[Place of publication not identified], : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bounded variable logics and counting : a study in finite models
Bounded variable logics and counting : a study in finite models
Autore Otto Martin
Edizione [1st ed.]
Pubbl/distr/stampa [Place of publication not identified], : Springer, 1997
Descrizione fisica 1 online resource (190 pages)
Disciplina 511.3/3
Collana Lecture notes in logic Bounded variable logics and counting
Soggetto topico Model theory
Computational complexity
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
ISBN 3-662-21676-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index.
Record Nr. UNINA-9910482885703321
Otto Martin  
[Place of publication not identified], : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Early Mathematical Manuscripts of Leibniz [[electronic resource]]
Early Mathematical Manuscripts of Leibniz [[electronic resource]]
Autore Leibniz G. W
Pubbl/distr/stampa Dover Publications, 2012
Descrizione fisica 1 online resource (394 p.)
Disciplina 510
Altri autori (Persone) ChildJ. M
Collana Dover Books on Mathematics
Soggetto topico Mathematics
Physical Sciences & Mathematics
Mathematical Theory
ISBN 0-486-15471-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Title Page""; ""Copyright Page""; ""PREFACE.""; ""Table of Contents""; ""I. - INTRODUCTION.""; ""II. - LETTER TO BERNOULLI.""; "" 1.""; ""NOTE.""; ""III. - “HISTORIA ET ORIGO CALCULI DIFFERENTIALIS.â€?""; ""Â2.""; ""IV. - MANUSCRIPTS OF THE PERIOD 1673-1675.""; "" 3.""; "" 4.""; "" 5.""; "" 6.""; "" 7.""; "" 8.""; ""Â9.""; ""Â10.""; ""V. - MANUSCRIPTS OF THE PERIOD 1676, 1677, AND A LATER UNDATED MANUSCRIPT.""; "" 11-15.""; "" 11.""; "" 12.""; "" 13.""; "" 14.""; "" 15.""; "" 16.""; "" 17.""; ""VI. - LEIBNIZ IN LONDON.""
""CRITICAL NOTES ON GERHARDT�S ESSAY.""""TRANSLATIONS OF THE MANUSCRIPTS""; ""CRITICAL NOTE.""; ""NOTE.""; ""VII. - LEIBNIZ AND PASCAL.""; ""TRANSLATIONS OF THE MANUSCRIPTS""; ""VIII. - CONCLUSIONS.""; ""BIBLIOGRAPHY.""; ""INDEX.""; ""A CATALOG OF SELECTED DOVER BOOKS IN SCIENCE AND MATHEMATICS""
Record Nr. UNISA-996320176903316
Leibniz G. W  
Dover Publications, 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Early Mathematical Manuscripts of Leibniz [[electronic resource]]
Early Mathematical Manuscripts of Leibniz [[electronic resource]]
Autore Leibniz G. W
Pubbl/distr/stampa Dover Publications, 2012
Descrizione fisica 1 online resource (394 p.)
Disciplina 510
Altri autori (Persone) ChildJ. M
Collana Dover Books on Mathematics
Soggetto topico Mathematics
Physical Sciences & Mathematics
Mathematical Theory
ISBN 0-486-15471-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Title Page""; ""Copyright Page""; ""PREFACE.""; ""Table of Contents""; ""I. - INTRODUCTION.""; ""II. - LETTER TO BERNOULLI.""; "" 1.""; ""NOTE.""; ""III. - “HISTORIA ET ORIGO CALCULI DIFFERENTIALIS.â€?""; ""Â2.""; ""IV. - MANUSCRIPTS OF THE PERIOD 1673-1675.""; "" 3.""; "" 4.""; "" 5.""; "" 6.""; "" 7.""; "" 8.""; ""Â9.""; ""Â10.""; ""V. - MANUSCRIPTS OF THE PERIOD 1676, 1677, AND A LATER UNDATED MANUSCRIPT.""; "" 11-15.""; "" 11.""; "" 12.""; "" 13.""; "" 14.""; "" 15.""; "" 16.""; "" 17.""; ""VI. - LEIBNIZ IN LONDON.""
""CRITICAL NOTES ON GERHARDT�S ESSAY.""""TRANSLATIONS OF THE MANUSCRIPTS""; ""CRITICAL NOTE.""; ""NOTE.""; ""VII. - LEIBNIZ AND PASCAL.""; ""TRANSLATIONS OF THE MANUSCRIPTS""; ""VIII. - CONCLUSIONS.""; ""BIBLIOGRAPHY.""; ""INDEX.""; ""A CATALOG OF SELECTED DOVER BOOKS IN SCIENCE AND MATHEMATICS""
Record Nr. UNINA-9910160959003321
Leibniz G. W  
Dover Publications, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Essential stability theory
Essential stability theory
Autore Buechler Steven
Pubbl/distr/stampa [Place of publication not identified], : Springer, 1996
Disciplina 511.3
Collana Perspectives in mathematical logic Essential stability theory
Soggetto topico Model theory
Stability
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910482881703321
Buechler Steven  
[Place of publication not identified], : Springer, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Essential stability theory
Essential stability theory
Autore Buechler Steven
Pubbl/distr/stampa [Place of publication not identified], : Springer, 1996
Disciplina 511.3
Collana Perspectives in mathematical logic Essential stability theory
Soggetto topico Model theory
Stability
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996210103803316
Buechler Steven  
[Place of publication not identified], : Springer, 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Fine structure and iteration trees
Fine structure and iteration trees
Autore Mitchell William J
Edizione [1st ed.]
Pubbl/distr/stampa [Place of publication not identified], : Springer Verlag, 1994
Descrizione fisica 1 online resource (137 pages)
Disciplina 511.3
Collana Lecture notes in logic Fine structure and iteration trees
Soggetto topico Constructive mathematics
Set theory
Mathematics
Physical Sciences & Mathematics
Mathematical Theory
ISBN 3-662-21903-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Lecture Notes in Logic 3 Fine Structure and Iteration Trees -- Fine Structure and Iteration Trees -- Copyright -- Contents -- 0. Introduction -- 1. Good Extender Sequences -- 2. Fine Structure -- 3. Squashed Mice -- 4. Ultrapowers -- 5. Iteration Trees -- 6. Uniqueness of Wellfounded Branches -- 7. The Comparison Process -- 8. Solidity and Condensation -- 9. Uniqueness of the Next Extender -- 10. Closure under Initial Segment -- 11. The Construction -- 12. Iterability -- References -- Index of Definitions -- Index.
Record Nr. UNISA-996210817503316
Mitchell William J  
[Place of publication not identified], : Springer Verlag, 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui