Russian for the Mathematician / S. H. Gould |
Autore | Gould, Sidney H. |
Pubbl/distr/stampa | Berlin, : Springer, 1972 |
Descrizione fisica | xi, 211 p. : ill. ; 24 cm |
Soggetto topico | 00A20 - Dictionaries and other general reference works [MSC 2020] |
Soggetto non controllato |
Algebra
Arithmetic Calculus Equations Finite Functions Geometry Limit of a function Mathematics Morphism Theorem Topology Variables |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
rus
eng |
Record Nr. | UNICAMPANIA-VAN0255574 |
Gould, Sidney H. | ||
Berlin, : Springer, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Self-Reference and Modal Logic / C. Smoryński |
Autore | Smoryński, Craig |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1985 |
Descrizione fisica | xii, 333 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Addition
Algebra Arithmetic Calculation Logic Model theory Proof Theory Proofs |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268811 |
Smoryński, Craig | ||
New York, : Springer-Verlag, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 / edited by R. B. Jensen, A. Prestel |
Pubbl/distr/stampa | Berlin, : Springer, 1981 |
Descrizione fisica | viii, 180 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Algebra
Arithmetic Model theory Models Morphism Set Theory |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261906 |
Berlin, : Springer, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Book of Prime Number Records / Paulo Ribenboim |
Autore | Ribenboim, Paulo |
Edizione | [2. ed] |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1989 |
Descrizione fisica | xxiii, 479 p. : ill. ; 24 cm |
Soggetto topico | 11-XX - Number theory [MSC 2020] |
Soggetto non controllato |
Arithmetic
Binomials Boundary Element Methods Cryptography Finite Functions Mersenne numbers Mersenne primes Number theory Prime Prime numbers Proofs Residue |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0269249 |
Ribenboim, Paulo | ||
New York, : Springer-Verlag, 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Book of Prime Number Records / Paulo Ribenboim |
Autore | Ribenboim, Paulo |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
Descrizione fisica | xxiii, 476 p. : ill. ; 24 cm |
Soggetto topico |
11-XX - Number theory [MSC 2020]
11M06 - $\zeta (s)$ and $L(s, \chi)$ [MSC 2020] 11N05 - Distribution of primes [MSC 2020] 11A41 - Primes [MSC 2020] 11N13 - Primes in congruence classes [MSC 2020] 11B39 - Fibonacci and Lucas numbers and polynomials and generalizations [MSC 2020] |
Soggetto non controllato |
Arithmetic
Binomials Boundary Element Methods Cryptography Finite Functions Mersenne numbers Mersenne primes Number theory Prime Prime numbers Proofs Residue |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0269120 |
Ribenboim, Paulo | ||
New York, : Springer-Verlag, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Historical Development of the Calculus / C. H. Edwards jr |
Autore | Edwards, Charles H. jr. |
Pubbl/distr/stampa | New York, : Springer, 1979 |
Descrizione fisica | xii, 368 p. ; 24 cm |
Soggetto topico |
26-XX - Real functions [MSC 2020]
26A06 - One-variable calculus [MSC 2020] 01A05 - General histories, source books [MSC 2020] |
Soggetto non controllato |
Arithmetic
Calculus Differential calculus Finite Fundamental theorem of Calculus History of mathematics Integrals Integration Interpolation Logarithms Riemann integrals Techniques constructions |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268296 |
Edwards, Charles H. jr. | ||
New York, : Springer, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Riemann Problem, Complete Integrability and Arithmetic Applications : Proceedings of a Seminar Held at the Institut des Hautes Etudes Scientifiques, Bures-sur-Yvette, France and at Columbia University, NY, USA 1979-1980 / edited by D. Chudnovsky, G. Chudnovsky |
Pubbl/distr/stampa | Berlin, : Springer, 1982 |
Descrizione fisica | viii, 376 p. ; 24 cm |
Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
41A21 - Padé approximation [MSC 2020] 45-XX - Integral equations [MSC 2020] 34-XX - Ordinary differential equations [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] |
Soggetto non controllato |
Arithmetic
Differential equations Fully integrable systems Inverse scattering problems Measure Padé table Riemannian problems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0262241 |
Berlin, : Springer, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Theory of Arithmetic Functions : Proceedings of the Conference at Western Michigan University, April 29-May 1, 1971 / edited by Anthony A. Gioia and Donald L. Goldsmith |
Pubbl/distr/stampa | Berlin, : Springer, 1972 |
Descrizione fisica | 287 p. : ill. ; 24 cm |
Soggetto topico |
11-XX - Number theory [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 11A25 - Arithmetic functions; related numbers; inversion formulas [MSC 2020] |
Soggetto non controllato |
Algebra
Arithmetic Arithmetic functions Functions Theorem |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0255760 |
Berlin, : Springer, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Theory of Ultrafilters / W. Wistar Comfort, Stylianos Negrepontis |
Autore | Comfort, William Wistar |
Pubbl/distr/stampa | Berlin, : Springer, 1974 |
Descrizione fisica | x, 482 p. ; 24 cm |
Altri autori (Persone) | Negrepontis, Stylianos |
Soggetto non controllato |
Algebra
Arithmetic Compact spaces Compactness Duality Functions Logic Mathematica Ordinals Set Theory Theorem Topology Ultrafilter |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0256271 |
Comfort, William Wistar | ||
Berlin, : Springer, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
Autore | Smullyan Raymond M. |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (157 pages) : illustrations |
Disciplina | 511.33 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Recursive functions
Metamathematics |
Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
ISBN | 1-4008-8200-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
Record Nr. | UNINA-9910154750903321 |
Smullyan Raymond M. | ||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|