1.: Büchi's Monadic Second Order Successor Arithmetic / Dirk Siefkes ; Edited by Gert H. Müller |
Autore | Siefkes, Dirk |
Pubbl/distr/stampa | Berlin, : Springer, 1970 |
Descrizione fisica | xiv, 134 p. ; 24 cm |
Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
Soggetto non controllato |
Arithmetic
Decidability Second Order Successor Arithmetic Sucessor Arithmetic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0254983 |
Siefkes, Dirk
![]() |
||
Berlin, : Springer, 1970 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
1.: Büchi's Monadic Second Order Successor Arithmetic / Dirk Siefkes ; Edited by Gert H. Müller |
Autore | Siefkes, Dirk |
Pubbl/distr/stampa | Berlin, : Springer, 1970 |
Descrizione fisica | xiv, 134 p. ; 24 cm |
Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
Soggetto non controllato |
Arithmetic
Decidability Second Order Successor Arithmetic Sucessor Arithmetic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00254983 |
Siefkes, Dirk
![]() |
||
Berlin, : Springer, 1970 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein |
Autore | Epstein, Richard L. |
Pubbl/distr/stampa | Berlin, : Springer, 1979 |
Descrizione fisica | xiv, 246 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
Soggetto non controllato |
Decidability
Degree of insolubility Finite Homogenization Lattices Operator Turing degree |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261121 |
Epstein, Richard L.
![]() |
||
Berlin, : Springer, 1979 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein |
Autore | Epstein, Richard L. |
Pubbl/distr/stampa | Berlin, : Springer, 1979 |
Descrizione fisica | xiv, 246 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] |
Soggetto non controllato |
Decidability
Degree of insolubility Finite Homogenization Lattices Operator Turing degree |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00261121 |
Epstein, Richard L.
![]() |
||
Berlin, : Springer, 1979 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | x, 274 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Decidability
Diophantine Equations Foundations of mathematics Hilary Putnam Mathematical logic Modal Logic Model theory Number theory Quantum Logic Structuralism |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124755 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | x, 274 p. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
Soggetto non controllato |
Decidability
Diophantine Equations Foundations of mathematics Hilary Putnam Mathematical logic Modal Logic Model theory Number theory Quantum Logic Structuralism |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00124755 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic / J. Donald Monk |
Autore | Monk, James D. |
Pubbl/distr/stampa | New York, : Springer, 1976 |
Descrizione fisica | x, 532 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] |
Soggetto non controllato |
Algorithms
Boundary Element Methods Computability theory Construction Decidability Functions Logic Mathematica Mathematical analysis Mathematical logic Model theory Recursion Turing Turing degree Types |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268023 |
Monk, James D.
![]() |
||
New York, : Springer, 1976 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic / J. Donald Monk |
Autore | Monk, James D. |
Pubbl/distr/stampa | New York, : Springer, 1976 |
Descrizione fisica | x, 532 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] |
Soggetto non controllato |
Algorithms
Boundary Element Methods Computability theory Construction Decidability Functions Logic Mathematica Mathematical analysis Mathematical logic Model theory Recursion Turing Turing degree Types |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00268023 |
Monk, James D.
![]() |
||
New York, : Springer, 1976 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Sequence Transformations / Jean-Paul Delahaye ; With an introduction by Claude Brezinski |
Autore | Delahaye, Jean-Paul |
Pubbl/distr/stampa | Berlin, : Springer, 1988 |
Descrizione fisica | xxi, 252 p. : ill. ; 24 cm |
Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65B05 - Extrapolation to the limit, deferred corrections [MSC 2020] |
Soggetto non controllato |
Algorithms
Boundary Element Methods Convergence Counting Decidability Diagrams Form Iteration Logarithm Maxima Maximum Selection Transformation Turbulence |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0265631 |
Delahaye, Jean-Paul
![]() |
||
Berlin, : Springer, 1988 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Sequence Transformations / Jean-Paul Delahaye ; With an introduction by Claude Brezinski |
Autore | Delahaye, Jean-Paul |
Pubbl/distr/stampa | Berlin, : Springer, 1988 |
Descrizione fisica | xxi, 252 p. : ill. ; 24 cm |
Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65B05 - Extrapolation to the limit, deferred corrections [MSC 2020] |
Soggetto non controllato |
Algorithms
Boundary Element Methods Convergence Counting Decidability Diagrams Form Iteration Logarithm Maxima Maximum Selection Transformation Turbulence |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00265631 |
Delahaye, Jean-Paul
![]() |
||
Berlin, : Springer, 1988 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|