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 | ||
| ||
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 | ||
| ||