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.
Can Mathematics Be Proved Consistent? [[electronic resource] ] : Gödel's Shorthand Notes & Lectures on Incompleteness / / by Jan von Plato
| Can Mathematics Be Proved Consistent? [[electronic resource] ] : Gödel's Shorthand Notes & Lectures on Incompleteness / / by Jan von Plato |
| Autore | von Plato Jan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (IX, 263 p.) |
| Disciplina | 511.3 |
| Collana | Sources and Studies in the History of Mathematics and Physical Sciences |
| Soggetto topico |
Mathematics
History Mathematical logic History of Mathematical Sciences Mathematical Logic and Foundations |
| ISBN | 3-030-50876-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. Gödel's Steps Toward Incompleteness -- II. The Saved Sources on Incompleteness -- III. The Shorthand Notebooks -- IV. The Typewritten Manuscripts -- V. Lectures and Seminars on Incompleteness -- Index -- References. |
| Record Nr. | UNINA-9910484663003321 |
von Plato Jan
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Can Mathematics Be Proved Consistent? [[electronic resource] ] : Gödel's Shorthand Notes & Lectures on Incompleteness / / by Jan von Plato
| Can Mathematics Be Proved Consistent? [[electronic resource] ] : Gödel's Shorthand Notes & Lectures on Incompleteness / / by Jan von Plato |
| Autore | von Plato Jan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (IX, 263 p.) |
| Disciplina | 511.3 |
| Collana | Sources and Studies in the History of Mathematics and Physical Sciences |
| Soggetto topico |
Mathematics
History Mathematical logic History of Mathematical Sciences Mathematical Logic and Foundations |
| ISBN | 3-030-50876-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. Gödel's Steps Toward Incompleteness -- II. The Saved Sources on Incompleteness -- III. The Shorthand Notebooks -- IV. The Typewritten Manuscripts -- V. Lectures and Seminars on Incompleteness -- Index -- References. |
| Record Nr. | UNISA-996418266103316 |
|
von Plato Jan
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cardinal Invariants on Boolean Algebras [[electronic resource] ] : Second Revised Edition / / by J. Donald Monk
| Cardinal Invariants on Boolean Algebras [[electronic resource] ] : Second Revised Edition / / by J. Donald Monk |
| Autore | Monk J. Donald |
| Edizione | [2nd ed. 2014.] |
| Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 |
| Descrizione fisica | 1 online resource (569 pages) : illustrations |
| Disciplina | 511.3 |
| Collana | Progress in Mathematics |
| Soggetto topico |
Mathematical logic
Algebra Ordered algebraic structures Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures |
| ISBN | 3-0348-0730-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1. Special Operations on Boolean Algebras -- 2. Special Classes of Boolean Algebras -- 3. Cellularity -- 4. Depth -- 5. Topological Density -- 6. Pi-Weight -- 7. Length -- 8. Irredundance -- 9. Cardinality -- 10. Independence -- 11. Pi-Character -- 12. Tightness -- 13. Spread -- 14. Character -- 15. Hereditary Lindelöf Degree -- 16. Hereditary Density -- 17. Incomparability -- 18. Hereditary Cofinality -- 19. Number of Ultrafilters -- 20. Number of Automorphisms -- 21. Number of Endomorphisms -- 22. Number of Ideals -- 23. Number of Subalgebras -- 24. Other Cardinal Functions -- 25. Diagrams -- 26. Examples -- 27. Problems -- References -- Symbol Index -- Subject Index -- Name Index. |
| Record Nr. | UNINA-9910300150203321 |
|
Monk J. Donald
|
||
| Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini
| Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 319 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer logic Mathematical logic K-theory Computer System Implementation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages K-Theory Mathematical Logic and Foundations |
| ISBN | 3-540-69552-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory — A logical approach (extended abstract). |
| Record Nr. | UNINA-9910144916503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini
| Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 319 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer logic Mathematical logic K-theory Computer System Implementation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages K-Theory Mathematical Logic and Foundations |
| ISBN | 3-540-69552-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory — A logical approach (extended abstract). |
| Record Nr. | UNISA-996465480303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Category Theory and Computer Science [[electronic resource] ] : Manchester, UK, September 5-8, 1989. Proceedings / / edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
| Category Theory and Computer Science [[electronic resource] ] : Manchester, UK, September 5-8, 1989. Proceedings / / edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 372 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Mathematical Logic and Foundations |
| ISBN | 3-540-46740-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective -- An algebraic view of interleaving and distributed operational semantics for CCS -- Temporal structures -- Compositional relational semantics for indeterminate dataflow networks -- Operations on records -- Projections for polymorphic strictness analysis -- A category-theoretic account of program modules -- A note on categorical datatypes -- A set constructor for inductive sets in Martin-Löf's type theory -- Independence results for calculi of dependent types -- Quantitative domains, groupoids and linear logic -- Graded multicategories of polynomial-time realizers -- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa -- Dictoses -- Declarative continuations: An investigation of duality in programming language semantics -- Logic representation in LF -- Unification properties of commutative theories: A categorical treatment -- An abstract formulation for rewrite systems -- From petri nets to linear logic -- A dialectica-like model of linear logic -- A final coalgebra theorem. |
| Record Nr. | UNISA-996465729003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Category Theory and Computer Science [[electronic resource] ] : Edinburgh, UK, September 7-9, 1987. Proceedings / / edited by David H. Pitt, Axel Poigne, David E. Rydeheard
| Category Theory and Computer Science [[electronic resource] ] : Edinburgh, UK, September 7-9, 1987. Proceedings / / edited by David H. Pitt, Axel Poigne, David E. Rydeheard |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (VIII, 304 p.) |
| Disciplina | 514 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Topology
Computer logic Mathematical logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-48006-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories and effective computations -- Polymorphism is set theoretic, constructively -- An equational presentation of higher order logic -- Enriched categories for local and interaction calculi -- The category of Milner processes is exact -- Relating two models of hardware -- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms -- A typed lambda calculus with categorical type constructors -- Final algebras, cosemicomputable algebras, and degrees of unsolvability -- Good functors ... are those preserving philosophy! -- Viewing implementations as an institution -- An interval model for second order lambda calculus -- Logical aspects of denotational semantics -- Connections between partial maps categories and tripos theory -- A fixpoint construction of the p-adic domain -- A category of Galois connections. |
| Record Nr. | UNISA-996465797603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Causal Nets, Interventionism, and Mechanisms [[electronic resource] ] : Philosophical Foundations and Applications / / by Alexander Gebharter
| Causal Nets, Interventionism, and Mechanisms [[electronic resource] ] : Philosophical Foundations and Applications / / by Alexander Gebharter |
| Autore | Gebharter Alexander |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VII, 184 p. 55 illus.) |
| Disciplina | 501 |
| Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Soggetto topico |
Philosophy and science
Statistics Mathematical logic Philosophy of Science Statistical Theory and Methods Mathematical Logic and Foundations |
| ISBN | 3-319-49908-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Formal Preliminaries -- 3. Causal Nets -- 4. Causality as a Theoretical Concept -- 5. Causal Nets and Woodwardian Interventionism -- 6. Causal Nets and Mechanisms -- 7. Conclusion. |
| Record Nr. | UNINA-9910159364003321 |
|
Gebharter Alexander
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Challenges for Action Theories [[electronic resource] /] / by Michael Thielscher
| Challenges for Action Theories [[electronic resource] /] / by Michael Thielscher |
| Autore | Thielscher Michael |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 146 p.) |
| Disciplina | 004.2/1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-45596-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications. |
| Record Nr. | UNINA-9910143636503321 |
|
Thielscher Michael
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Challenges for Action Theories [[electronic resource] /] / by Michael Thielscher
| Challenges for Action Theories [[electronic resource] /] / by Michael Thielscher |
| Autore | Thielscher Michael |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 146 p.) |
| Disciplina | 004.2/1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-45596-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications. |
| Record Nr. | UNISA-996465626003316 |
|
Thielscher Michael
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
