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.
Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis
| Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | v, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260538 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis
| Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | v, 287 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00260538 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Berlin, : Springer, 1997 |
| Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| ISBN | 978-35-406-1787-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0051184 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Berlin, : Springer, 1997 |
| Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| ISBN | 978-35-406-1787-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051184 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 05Axx - Enumerative combinatorics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268257 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial theory / Martin Aigner
| Combinatorial theory / Martin Aigner |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05A15 - Exact enumeration problems, generating functions [MSC 2020] 05Axx - Enumerative combinatorics [MSC 2020] 05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268257 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Theory Seminar Eindhoven University of Technology / Jacobus H. van Lint
| Combinatorial Theory Seminar Eindhoven University of Technology / Jacobus H. van Lint |
| Autore | van Lint, Jacobus H. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | vi, 131 p. ; 24 cm |
| Soggetto topico |
05A17 - Combinatorial aspects of partitions of integers [MSC 2020]
05-XX - Combinatorics [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 05B15 - Orthogonal arrays, Latin squares, Room squares [MSC 2020] 05B25 - Combinatorial aspects of finite geometries [MSC 2020] 05B20 - Combinatorial aspects of matrices (incidence, Hadamard, etc.) [MSC 2020] 05B10 - Combinatorial aspects of difference sets (number-theoretic, group-theoretic, etc.) [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Finite Functions Geometry Recursion Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255994 |
|
van Lint, Jacobus H.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Theory Seminar Eindhoven University of Technology / Jacobus H. van Lint
| Combinatorial Theory Seminar Eindhoven University of Technology / Jacobus H. van Lint |
| Autore | van Lint, Jacobus H. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | vi, 131 p. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05A15 - Exact enumeration problems, generating functions [MSC 2020] 05A17 - Combinatorial aspects of partitions of integers [MSC 2020] 05B10 - Combinatorial aspects of difference sets (number-theoretic, group-theoretic, etc.) [MSC 2020] 05B15 - Orthogonal arrays, Latin squares, Room squares [MSC 2020] 05B20 - Combinatorial aspects of matrices (incidence, Hadamard, etc.) [MSC 2020] 05B25 - Combinatorial aspects of finite geometries [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Finite Functions Geometry Recursion Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00255994 |
|
van Lint, Jacobus H.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computations in Higher Types / Johan Moldestad
| Computations in Higher Types / Johan Moldestad |
| Autore | Moldestad, Johan |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | viii, 208 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03D65 - Higher-type and set recursion theory [MSC 2020] |
| Soggetto non controllato |
Calculation
Computability theory Computation Objects Recursion Recursive functions Types |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260332 |
|
Moldestad, Johan
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
