Info
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic
| Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic |
| Autore | Todorcevic Stevo |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, 2010 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 511/.5 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Ramsey theory
Algebraic spaces |
| Soggetto non controllato |
Analytic set
Axiom of choice Baire category theorem Baire space Banach space Bijection Binary relation Boolean prime ideal theorem Borel equivalence relation Borel measure Borel set C0 Cantor cube Cantor set Cantor space Cardinality Characteristic function (probability theory) Characterization (mathematics) Combinatorics Compact space Compactification (mathematics) Complete metric space Completely metrizable space Constructible universe Continuous function (set theory) Continuous function Corollary Countable set Counterexample Decision problem Dense set Diagonalization Dimension (vector space) Dimension Discrete space Disjoint sets Dual space Embedding Equation Equivalence relation Existential quantification Family of sets Forcing (mathematics) Forcing (recursion theory) Gap theorem Geometry Ideal (ring theory) Infinite product Lebesgue measure Limit point Lipschitz continuity Mathematical induction Mathematical problem Mathematics Metric space Metrization theorem Monotonic function Natural number Natural topology Neighbourhood (mathematics) Null set Open set Order type Partial function Partially ordered set Peano axioms Point at infinity Pointwise Polish space Probability measure Product measure Product topology Property of Baire Ramsey theory Ramsey's theorem Right inverse Scalar multiplication Schauder basis Semigroup Sequence Sequential space Set (mathematics) Set theory Sperner family Subsequence Subset Subspace topology Support function Symmetric difference Theorem Topological dynamics Topological group Topological space Topology Tree (data structure) Unit interval Unit sphere Variable (mathematics) Well-order Zorn's lemma |
| ISBN |
1-4008-3540-2
9786612645068 1-282-64506-4 |
| Classificazione | SI 830 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Chapter 1. Ramsey Theory: Preliminaries -- Chapter 2. Semigroup Colorings -- Chapter 3. Trees and Products -- Chapter 4. Abstract Ramsey Theory -- Chapter 5. Topological Ramsey Theory -- Chapter 6. Spaces of Trees -- Chapter 7. Local Ramsey Theory -- Chapter 8. Infinite Products of Finite Sets -- Chapter 9. Parametrized Ramsey Theory -- Appendix -- Bibliography -- Subject Index -- Index of Notation |
| Record Nr. | UNINA-9910791065103321 |
|
Todorcevic Stevo
|
||
| Princeton, : Princeton University Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Fourier Integrals. (AM-42), Volume 42 / / Salomon Trust
| Lectures on Fourier Integrals. (AM-42), Volume 42 / / Salomon Trust |
| Autore | Trust Salomon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (348 pages) |
| Disciplina | 517.355 |
| Altri autori (Persone) |
PollardHarry
TenenbaumMorris |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Fourier series
Integrals Harmonic analysis |
| Soggetto non controllato |
Abscissa
Absolute value Absolutely integrable function Acta Mathematica Addition Additive function Affine transformation Almost periodic function Analytic function Antiderivative Arbitrarily large Arithmetic mean Augustin-Louis Cauchy Bernhard Riemann Bessel function Big O notation Borel set Boundary layer Boundary value problem Bounded function Bounded variation Calculation Cauchy principal value Characteristic function (probability theory) Coefficient Compact space Compactness theorem Complex number Continuous function Dense set Derivative Differentiable function Dirichlet series Distribution function Division by zero E. W. Hobson Eigenfunction Eigenvalues and eigenvectors Empty set Equation Existential quantification Exponential polynomial Exterior (topology) Fourier transform Function (mathematics) Functional equation Gamma function Generating function Harmonic function Initial point Integer Integral equation Interval (mathematics) Limit of a sequence Line (geometry) Linear combination Linear differential equation Mathematische Annalen Mean value theorem Monotonic function Null set Order of integration (calculus) Order of integration Order of magnitude Parameter Partial derivative Partial fraction decomposition Poisson formula Poisson summation formula Polar coordinate system Polynomial Power series Principal part Rapidity Rational function Rational number Real variable Remainder Requirement Set function Sign (mathematics) Smoothness Special case State function Step function Subsequence Summation Theorem Total variation Trigonometric integral Uniform convergence Uniqueness theorem Variable (mathematics) |
| ISBN | 1-4008-8199-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- CHAPTER I. BASIC PROPERTIES OF TRIGONOMETRIC INTEGRALS -- CHAPTER II. REPRESENTATION - AND SUM FORMULAS -- CHAPTER III. THE FOURIER INTEGRAL THEOREM -- CHAPTER IV. STIELTJES INTEGRALS -- CHAPTER V. OPERATIONS WITH FUNCTIONS OF THE CLASS FO -- CHAPTER VI. GENERALIZED TRIGONOMETRIC INTEGRALS -- CHAPTER VII. ANALYTIC AND HARMONIC FUNCTIONS -- CHAPTER VIII. QUADRATIC INTEGRABILITV -- CHAPTER IX. FUNCTIONS OF SEVERAL VARIABLES -- APPENDIX -- REMARKS - QUOTATIONS -- MONOTONIC FUNCTIONS, STIELTJES INTEGRALS AND HARMONIC ANALYSIS -- SYMBOLS |
| Record Nr. | UNINA-9910154749703321 |
|
Trust Salomon
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post
| The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post |
| Autore | Post Emil L. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (133 pages) : illustrations |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
0Q
1J Abstract structure Addition Antiderivative Argument of a function Axiom Big O notation Bijection Boolean algebra (structure) Calculation Cardinal number Classical mathematics Conjecture Contradiction Countable set Diagram (category theory) Dimension Direct proof Duality (mathematics) Duality (optimization) Existential quantification Finite group Finite set Floor and ceiling functions Function (mathematics) Inequality (mathematics) Inverse problem Iteration Join and meet K-function Lattice (order) Linear differential equation Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Membership function (mathematics) Morphism Mutual exclusivity Negation Notation Null set Oswald Veblen Parameter Parity (mathematics) Polynomial Principia Mathematica Projective geometry Propositional calculus Propositional variable Requirement Scientific notation Sequence Statistical hypothesis testing Subgroup Subset Suggestion Summation System T. The Principles of Mathematics Theorem Transfinite number Transfinite Truth table Uncountable set Uniqueness Variable (mathematics) Venn diagram |
| ISBN | 1-4008-8236-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154742203321 |
|
Post Emil L.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||