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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to Toric Varieties. (AM-131), Volume 131 / / William Fulton |
Autore | Fulton William |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (171 pages) : illustrations |
Disciplina | 516.3/53 |
Collana | Annals of Mathematics Studies |
Soggetto topico | Toric varieties |
Soggetto non controllato |
Addition
Affine plane Affine space Affine variety Alexander Grothendieck Alexander duality Algebraic curve Algebraic group Atiyah–Singer index theorem Automorphism Betti number Big O notation Characteristic class Chern class Chow group Codimension Cohomology Combinatorics Commutative property Complete intersection Convex polytope Convex set Coprime integers Cotangent space Dedekind sum Dimension (vector space) Dimension Direct proof Discrete valuation ring Discrete valuation Disjoint union Divisor (algebraic geometry) Divisor Dual basis Dual space Equation Equivalence class Equivariant K-theory Euler characteristic Exact sequence Explicit formula Facet (geometry) Fundamental group Graded ring Grassmannian H-vector Hirzebruch surface Hodge theory Homogeneous coordinates Homomorphism Hypersurface Intersection theory Invertible matrix Invertible sheaf Isoperimetric inequality Lattice (group) Leray spectral sequence Limit point Line bundle Line segment Linear subspace Local ring Mathematical induction Mixed volume Moduli space Moment map Monotonic function Natural number Newton polygon Open set Picard group Pick's theorem Polytope Projective space Quadric Quotient space (topology) Regular sequence Relative interior Resolution of singularities Restriction (mathematics) Resultant Riemann–Roch theorem Serre duality Sign (mathematics) Simplex Simplicial complex Simultaneous equations Spectral sequence Subgroup Subset Summation Surjective function Tangent bundle Theorem Topology Toric variety Unit disk Vector space Weil conjecture Zariski topology |
ISBN | 1-4008-8252-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Errata -- Chapter 1. Definitions and examples -- Chapter 2. Singularities and compactness -- Chapter 3. Orbits, topology, and line bundles -- Chapter 4. Moment maps and the tangent bundle -- Chapter 5. Intersection theory -- Notes -- References -- Index of Notation -- Index |
Record Nr. | UNINA-9910154749903321 |
Fulton William
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|