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.
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On Knots. (AM-115), Volume 115 / / Louis H. Kauffman
| On Knots. (AM-115), Volume 115 / / Louis H. Kauffman |
| Autore | Kauffman Louis H. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (497 pages) : illustrations |
| Disciplina | 514/.224 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Knot theory |
| Soggetto non controllato |
3-sphere
Addition theorem Addition Alexander polynomial Algebraic variety Algorithm Ambient isotopy Arf invariant Basepoint Bijection Bilinear form Borromean rings Bracket polynomial Braid group Branched covering Chiral knot Chromatic polynomial Cobordism Codimension Combination Combinatorics Complex analysis Concentric Conjecture Connected sum Conway polynomial (finite fields) Counting Covering space Cyclic group Dense set Determinant Diagram (category theory) Diffeomorphism Dimension Disjoint union Disk (mathematics) Dual graph Elementary algebra Embedding Enumeration Existential quantification Exotic sphere Fibration Formal power series Fundamental group Geometric topology Geometry and topology Geometry Group action Homotopy Integer Intersection form (4-manifold) Isolated singularity Jones polynomial Knot complement Knot group Knot theory Laws of Form Lens space Linking number Manifold Module (mathematics) Morwen Thistlethwaite Normal bundle Notation Obstruction theory Operator algebra Pairing Parity (mathematics) Partition function (mathematics) Planar graph Point at infinity Polynomial ring Polynomial Quantity Rectangle Reidemeister move Remainder Root of unity Saddle point Seifert surface Singularity theory Slice knot Special case Statistical mechanics Substructure Summation Symmetry Theorem Three-dimensional space (mathematics) Topological space Torus knot Trefoil knot Tubular neighborhood Underpinning Unknot Variable (mathematics) Whitehead link Wild knot Writhe |
| ISBN | 1-4008-8213-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- PREFACE -- I. INTRODUCTION -- II. LINKING NUMBERS AND REIDEMEISTER MOVES -- III. THE CONWAY POLYNOMIAL -- IV. EXAMPLE S AND SKEIN THEORY -- V. DETECTING SLICES AND RIBBONS- A FIRST PASS -- VI. MISCELLANY -- VII. SPANNING SURFACES AND THE SEIFERT PAIRING -- VIII. RIBBONS AND SLICES -- IX. THE ALEXANDER POLYNOMIAL AND BRANCHED COVERINGS -- X. THE ALEXANDER POLYNOMIAL AND THE ARF INVARIANT -- XI. FREE DIFFERENTIAL CALCULUS -- XII. CYCLIC BRANCHED COVERINGS -- XIII. SIGNATURE THEOREMS -- XIV. G-SIGNATURE THEOREM FOR FOUR MANIFOLDS -- XV. SIGNATURE OF CYCLIC BRANCHED COVERINGS -- XVI. AN INVARIANT FOR COVERINGS -- XVII. SLICE KNOTS -- XVIII. CALCULATING σr FOR GENERALIZED STEVEDORE'S KNOT -- XIX. SINGULARITIES, KNOTS AND BRIESKORN VARIETIES -- APPENDIX. GENERALIZED POLYNOMIALS AND A STATE MODEL FOR THE JONES POLYNOMIAL -- KNOT TABLES AND THE L-POLYNOMIAL -- REFERENCES |
| Record Nr. | UNINA-9910154751303321 |
|
Kauffman Louis H.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Vol. 1.: Real numbers and functions / Antonio Caminha Muniz Neto
| Vol. 1.: Real numbers and functions / Antonio Caminha Muniz Neto |
| Autore | Caminha Muniz Neto, Antonio |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xi, 550 p. : ill. ; 24 cm |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
00A07 - Problem books [MSC 2020] 00A35 - Methodology of mathematics [MSC 2020] 97-XX - Mathematics education [MSC 2020] 97U40 - Problem books, competitions, examinations (aspects of mathematics education) [MSC 2020] 97I10 - Comprehensive works on analysis education [MSC 2020] |
| Soggetto non controllato |
Elementary algebra
Functions IMO Mathematics Olympiad Matrix theory Problem Solving Real functions Real numbers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123586 |
|
Caminha Muniz Neto, Antonio
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Vol. 1.: Real numbers and functions / Antonio Caminha Muniz Neto
| Vol. 1.: Real numbers and functions / Antonio Caminha Muniz Neto |
| Autore | Caminha Muniz Neto, Antonio |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xi, 550 p. : ill. ; 24 cm |
| Soggetto topico |
00A07 - Problem books [MSC 2020]
00A35 - Methodology of mathematics [MSC 2020] 26-XX - Real functions [MSC 2020] 97-XX - Mathematics education [MSC 2020] 97I10 - Comprehensive works on analysis education [MSC 2020] 97U40 - Problem books, competitions, examinations (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Elementary algebra
Functions IMO Mathematics Olympiad Matrix theory Problem Solving Real functions Real numbers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123586 |
|
Caminha Muniz Neto, Antonio
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||