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.
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9781501502644
1-5015-0264-6 1-5015-0262-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Herbrand Confluence for First-Order Proofs with Π2-Cuts -- Proof-Oriented Categorical Semantics -- Logic for Gray-code Computation -- The Continuum Hypothesis Implies Excluded Middle -- Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) -- Some Remarks about Normal Rings -- On Sets of Premises -- Non-Deterministic Inductive Definitions and Fullness -- Cyclic Proofs for Linear Temporal Logic -- Craig Interpolation via Hypersequents -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- Relating Quotient Completions via Categorical Logic -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- Hilbert’s Programme and Ordinal Analysis -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- Remarks on Barr’s Theorem: Proofs in Geometric Theories |
| Record Nr. | UNINA-9910467145703321 |
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto non controllato |
Mathematical Logic
Philosophy of Mathematics Theoretical Computer Science |
| ISBN |
1-5015-0264-6
1-5015-0262-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Herbrand Confluence for First-Order Proofs with Π2-Cuts -- Proof-Oriented Categorical Semantics -- Logic for Gray-code Computation -- The Continuum Hypothesis Implies Excluded Middle -- Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) -- Some Remarks about Normal Rings -- On Sets of Premises -- Non-Deterministic Inductive Definitions and Fullness -- Cyclic Proofs for Linear Temporal Logic -- Craig Interpolation via Hypersequents -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- Relating Quotient Completions via Categorical Logic -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- Hilbert’s Programme and Ordinal Analysis -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- Remarks on Barr’s Theorem: Proofs in Geometric Theories |
| Record Nr. | UNINA-9910796687303321 |
|
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto non controllato |
Mathematical Logic
Philosophy of Mathematics Theoretical Computer Science |
| ISBN |
1-5015-0264-6
1-5015-0262-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Herbrand Confluence for First-Order Proofs with Π2-Cuts -- Proof-Oriented Categorical Semantics -- Logic for Gray-code Computation -- The Continuum Hypothesis Implies Excluded Middle -- Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) -- Some Remarks about Normal Rings -- On Sets of Premises -- Non-Deterministic Inductive Definitions and Fullness -- Cyclic Proofs for Linear Temporal Logic -- Craig Interpolation via Hypersequents -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- Relating Quotient Completions via Categorical Logic -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- Hilbert’s Programme and Ordinal Analysis -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- Remarks on Barr’s Theorem: Proofs in Geometric Theories |
| Record Nr. | UNINA-9910826270703321 |
|
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Investment appraisal : methods and models / / Uwe Götze, Deryl Northcott, Peter Schuster
| Investment appraisal : methods and models / / Uwe Götze, Deryl Northcott, Peter Schuster |
| Autore | Götze Uwe |
| Edizione | [Second edition] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2015] |
| Descrizione fisica | 1 online resource (366 pages) |
| Disciplina | 332.67/253 |
| Collana | Springer texts in business and economics |
| Soggetto topico |
Investments - Decision making
Business enterprises - Finance - Decision making |
| ISBN | 3-662-45851-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I. Introduction -- Part II. Basic Methods of Investment Appraisal -- Part III. Advanced Methods and Applications of Investment Appraisal -- Part IV. Multi-Criteria Methods and Simultaneous Decision-Making -- Part V. Methods and Models that Incorporate Uncertainty. |
| Record Nr. | UNINA-9910298474803321 |
|
Götze Uwe
|
||
| Berlin, Heidelberg : , : Springer, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Kostenrechnung klipp & klar [[electronic resource] /] / von Christian Ernst, Gerald Schenk, Peter Schuster
| Kostenrechnung klipp & klar [[electronic resource] /] / von Christian Ernst, Gerald Schenk, Peter Schuster |
| Autore | Ernst Christian |
| Edizione | [2nd ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Gabler, , 2017 |
| Descrizione fisica | 1 online resource (IX, 136 S. 40 Abb.) |
| Disciplina | 657 |
| Collana | WiWi klipp & klar |
| Soggetto topico |
Accounting
Bookkeeping Accounting/Auditing |
| ISBN | 3-662-53508-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Aufbau der Kosten- und Leistungsrechnung am Beispiel der Vollkostenrechnung -- Teilkostenrechnung -- Plankostenrechnung -- Strategische Erweiterungen der Kostenrechnung. |
| Record Nr. | UNINA-9910484990403321 |
|
Ernst Christian
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Gabler, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Légiférer dans la ville médiévale : « Faire bans, edictz et statuz » / / Jean-Marie Cauchies, Éric Bousmar
| Légiférer dans la ville médiévale : « Faire bans, edictz et statuz » / / Jean-Marie Cauchies, Éric Bousmar |
| Autore | Ammann-Doubliez Chantal |
| Pubbl/distr/stampa | Bruxelles, : Presses de l’Université Saint-Louis, 2019 |
| Descrizione fisica | 1 online resource (700 p.) |
| Altri autori (Persone) |
AscheriMario
Asenjo GonzálezMaría Batlle GallartCarmen BooneMarc BousmarEric BrandHanno Brochard-MontagnerClaire CarlierMyriam CauchiesJean-Marie ChittoliniGiorgio ClauzelDenis Clauzel-DelannoyIsabelle CoulonLaurent DumontHugues Falcon PerezIsabel HamelSébastien HaquetteBertrand IsenmannEberhard JacobsBeatrix C. M JansenPhilippe KammererOdile Ladero QuesadaMiguel Ángel MarchandisseAlain Montagut i EstraguésTomàs de PaulyMichel Porras ArboledasPedro Andrés RigaudièreAlbert SchusterPeter StabelPeter TappyDenis WolfArmin YanteJean-Marie BousmarÉric |
| Soggetto topico |
History
Medieval & Renaissance Studies Moyen Âge droit législation vie urbaine |
| Soggetto non controllato |
législation
Moyen Âge vie urbaine droit |
| ISBN | 2-8028-0493-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910324026603321 |
|
Ammann-Doubliez Chantal
|
||
| Bruxelles, : Presses de l’Université Saint-Louis, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics for Physicists and Engineers [[electronic resource] ] : Fundamentals and Interactive Study Guide / / by Klaus Weltner, S. T. John, Wolfgang J. Weber, Peter Schuster, Jean Grosjean
| Mathematics for Physicists and Engineers [[electronic resource] ] : Fundamentals and Interactive Study Guide / / by Klaus Weltner, S. T. John, Wolfgang J. Weber, Peter Schuster, Jean Grosjean |
| Autore | Weltner Klaus |
| Edizione | [3rd ed. 2023.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XX, 656 p. 592 illus., 4 illus. in color.) |
| Disciplina | 530.15 |
| Soggetto topico |
Mathematical physics
Engineering mathematics Engineering - Data processing Chemometrics Mathematics Mathematical Methods in Physics Mathematical and Computational Engineering Applications Mathematical Applications in Chemistry Applications of Mathematics |
| ISBN | 3-662-66068-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Vector Algebra I: Scalars and Vectors -- Vector Algebra II: Scalar and Vector Products -- Functions -- Exponential, Logarithmic and Hyperbolic Functions -- Differential Calculus -- Integral Calculus -- Applications of Integration -- Taylor Series and Power Series -- Complex Numbers -- Differential Equations -- Laplace Transforms -- Functions of Several Variables; Partial Differentiation; and Total Differentiation -- Multiple Integrals; Coordinate Systems -- Transformation of Coordinates; Matrices -- Sets of Linear Equations; Determinanats -- Eigenvalues and Eigenvectors of Real Matrices -- Vector Analysis: Surface Integrals, Divergence, Curl and Potential -- Fourier Series; Harmonic Analysis -- Fourier Integrals and Fourier Transforms -- Probability Calculus -- Probability Distributions -- Theory of Errors -- Answers. . |
| Record Nr. | UNINA-9910770242303321 |
|
Weltner Klaus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics for Physicists and Engineers [[electronic resource] ] : Fundamentals and Interactive Study Guide / / by Klaus Weltner, Sebastian John, Wolfgang J. Weber, Peter Schuster, Jean Grosjean
| Mathematics for Physicists and Engineers [[electronic resource] ] : Fundamentals and Interactive Study Guide / / by Klaus Weltner, Sebastian John, Wolfgang J. Weber, Peter Schuster, Jean Grosjean |
| Autore | Weltner Klaus |
| Edizione | [2nd ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (610 p.) |
| Disciplina | 530.15 |
| Soggetto topico |
Physics
Applied mathematics Engineering mathematics Mathematical physics Chemistry, Physical and theoretical Mathematical Methods in Physics Mathematical and Computational Engineering Mathematical Applications in the Physical Sciences Theoretical and Computational Chemistry |
| ISBN | 3-642-54124-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the Contents: Vector Algebra I: Scalars and Vectors -- Vector Algebra II: Scalar and Vector Products -- Functions -- Exponential, Logarithmic and Hyperbolic Functions -- Differential Calculus -- Integral Calculus -- Applications of Integration -- Taylor Series and Power Series -- Complex Numbers -- Differential Equations -- Laplace Transforms -- Functions of Several Variables; Partial Differentiation; and Total Differentiation -- Multiple Integrals; Coordinate Systems -- Transformation of Coordinates; Matrices -- Sets of Linear Equations; Determinanats -- Eigenvalues and Eigenvectors of Real Matrices -- Vector Analysis: Surface Integrals, Divergence, Curl and Potential -- Fourier Series; Harmonic Analysis -- Fourier Integrals and Fourier Transforms -- Probability Calculus -- Probability Distributions -- Theory of Errors -- Answers. . |
| Record Nr. | UNINA-9910300368003321 |
|
Weltner Klaus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La vérité : Vérité et crédibilité : construire la vérité dans le système de communication de l’Occident (XIIIe-XVIIe siècle) / / Jean-Philippe Genet
| La vérité : Vérité et crédibilité : construire la vérité dans le système de communication de l’Occident (XIIIe-XVIIe siècle) / / Jean-Philippe Genet |
| Autore | A. R. Brown Elizabeth |
| Pubbl/distr/stampa | Paris-Rome, : Éditions de la Sorbonne, 2017 |
| Descrizione fisica | 1 online resource (918 p.) |
| Altri autori (Persone) |
AlivertiMaria Ines
AnheimÉtienne AurellMartin BaranovaTatiana Debbagi Barral-BaronMarie BiardJoël CesalliLaurent DeruelleBenjamin FossierArnaud GenetJean-Philippe GrellardChristophe GrévinBenoît König-PralongCatherine LecuppreGilles LorenzettiStefano MarmoCostantino MazelFlorian MilletHélène MoeglinJean-Marie PrétouPierre RosserGervase SchusterPeter SpinaOlivier SzczechNathalie TauberChristine TestaverdeAnna Maria ViggianoAlfredo |
| Soggetto topico |
Legitimacy of governments - Europe
State, The Political science - History - To 1500 |
| Soggetto non controllato |
Moyen Âge
philosophie droit vérité Occident |
| ISBN |
979-1-03-510031-5
979-1-03-510032-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910214939503321 |
|
A. R. Brown Elizabeth
|
||
| Paris-Rome, : Éditions de la Sorbonne, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||