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 | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (X, 350 p.) |
| Disciplina | 511.36 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Constructive mathematics
Intuitionistic mathematics |
| ISBN | 3-540-38759-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Seidenberg's condition P -- Field extensions -- Dedekind domains -- Effective mathematics — the computer algebra viewpoint -- On some open problems in constructive probability theory -- Consistency and independence results in intuitionistic set theory -- Errata -- Computability of ordinal recursion of type level two -- A constructive approach to classical mathematics -- Remarks on the notion of standard non-isomorphic natural number series -- Reflections on Bishop's philosophy of mathematics -- Formalizing constructive mathematics: Why and how? -- Independence of premisses and the free topos -- An intuitionistic infinitesimal calculus -- Liberal constructive set theory -- Locating metric complements in ?n -- A disjunctive decomposition theorem for classical theories -- Towards a constructive foundation for quantum mechanics -- About infinity, finiteness and finitization (in connection with the foundations of mathematics) -- A class of theorems with valid constructive counterparts -- Rational constructive analysis. |
| Record Nr. | UNISA-996466490703316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Forcing with random variables and proof complexity / Jan Krajicek
| Forcing with random variables and proof complexity / Jan Krajicek |
| Autore | Krajicek, Jan |
| Pubbl/distr/stampa | Cambridge, UK ; New York : Cambridge University Press, 2011 |
| Descrizione fisica | xvi, 247 p. : ill. ; 23 cm |
| Disciplina | 511.36 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 382 |
| Soggetto topico |
Computational complexity
Random variables Mathematical analysis |
| ISBN | 9780521154338 |
| Classificazione |
AMS 03F20
LC QA267.7.K73 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001805339707536 |
|
Krajicek, Jan
|
||
| Cambridge, UK ; New York : Cambridge University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
An introduction to proof through real analysis / / Daniel J. Madden and Jason A. Aubrey
| An introduction to proof through real analysis / / Daniel J. Madden and Jason A. Aubrey |
| Autore | Madden Daniel J. <1948-> |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2017 |
| Descrizione fisica | 1 online resource (418 pages) : illustrations, graphs |
| Disciplina | 511.36 |
| Soggetto topico |
Proof theory
Functions of real variables Numbers, Real Mathematical analysis |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-119-31473-9
1-119-31474-7 1-119-31476-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910270881003321 |
|
Madden Daniel J. <1948->
|
||
| Hoboken, New Jersey : , : Wiley, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to proof through real analysis / / Daniel J. Madden and Jason A. Aubrey
| An introduction to proof through real analysis / / Daniel J. Madden and Jason A. Aubrey |
| Autore | Madden Daniel J. <1948-> |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2017 |
| Descrizione fisica | 1 online resource (418 pages) : illustrations, graphs |
| Disciplina | 511.36 |
| Soggetto topico |
Proof theory
Functions of real variables Numbers, Real Mathematical analysis |
| ISBN |
1-119-31473-9
1-119-31474-7 1-119-31476-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910830275703321 |
|
Madden Daniel J. <1948->
|
||
| Hoboken, New Jersey : , : Wiley, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to the Language of Mathematics / / by Frédéric Mynard
| An Introduction to the Language of Mathematics / / by Frédéric Mynard |
| Autore | Mynard Frédéric |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 185 p. 34 illus., 16 illus. in color.) |
| Disciplina |
511.3
511.36 |
| Soggetto topico |
Proof theory
Structures and Proofs |
| ISBN | 3-030-00641-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography. |
| Record Nr. | UNINA-9910300114003321 |
|
Mynard Frédéric
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISILC - Proof Theory Symposion [[electronic resource] ] : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / / herausgegeben von J. Diller, G.H. Müller
| ISILC - Proof Theory Symposion [[electronic resource] ] : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / / herausgegeben von J. Diller, G.H. Müller |
| Autore | Diller Justus |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 |
| Descrizione fisica | 1 online resource (CD, 390 p.) |
| Disciplina | 511.36 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations |
| ISBN | 3-540-38020-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verzeichnis der Publikationen von Kurt Schütte -- Normalfunktionen und Konstruktive Systeme von Ordinalzahlen -- Sound functors -- A study of generalized standardization in combinatory logic -- Intensionale Funktionalinterpretation der Analysis -- Non-extensional type-free theories of partial operations and classifications, I -- Kombinatorische Konstruktionen mit Beweisen und Schnittelimination -- Calculability of the primitive recursive functionals of finite type over the natural numbers -- Observations on a recent generalization of completeness theorems due to Schütte -- Strong normalization for arithmetic -- Intuitionistic completeness of a restricted second-order logic -- The real elements in a consistency proof for simple type theory I -- Church Rosser Theorem für ?-Kalküle mit Unendlich Langen Termen -- Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit -- Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen -- An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions -- Comments on gentzen-type procedures and the classical notion of truth -- Bemerkungen zu Regel und Schema -- Infinite terms and recursion in higher types -- Consistency proofs and ordinals -- Markov's principle and Markov's rule for theores of choice sequences. |
| Record Nr. | UNISA-996466871703316 |
|
Diller Justus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Linear logic in computer science / edited by Thomas Ehrhard ... [et al.]
| Linear logic in computer science / edited by Thomas Ehrhard ... [et al.] |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2004 |
| Descrizione fisica | x, 381 p. : ill. ; 23 cm |
| Disciplina | 511.36 |
| Altri autori (Persone) | Ehrhard, Thomas |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 316 |
| Soggetto topico |
Proof theory
Computer science - Mathematics |
| ISBN | 0521608570 |
| Classificazione |
AMS 03B70
LC QA9.54.L56 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000841259707536 |
| Cambridge ; New York : Cambridge University Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical proofs : a transition to advanced mathematics / / Gary Chartrand, Albert D. Polimeni, Ping Zhang
| Mathematical proofs : a transition to advanced mathematics / / Gary Chartrand, Albert D. Polimeni, Ping Zhang |
| Autore | Chartrand Gary |
| Edizione | [Third edition, Pearson new international edition.] |
| Pubbl/distr/stampa | Harlow, England : , : Pearson, , [2014] |
| Descrizione fisica | 1 online resource (422 pages) : illustrations |
| Disciplina | 511.36 |
| Collana | Always Learning |
| Soggetto topico | Proof theory |
| ISBN | 1-292-05234-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910153074503321 |
|
Chartrand Gary
|
||
| Harlow, England : , : Pearson, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
