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.
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
| Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis |
| Autore | Matiiasevich, Iurii V. |
| Pubbl/distr/stampa | Cambridge ; London, : MIT, 1993 |
| Descrizione fisica | XXII, 264 p. ; 24 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] |
| ISBN |
02-621-3295-8
978-02-621-3295-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-SUN0052708 |
|
Matiiasevich, Iurii V.
|
||
| Cambridge ; London, : MIT, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
| Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis |
| Autore | Matiiasevich, Iurii V. |
| Pubbl/distr/stampa | Cambridge ; London, : MIT, 1993 |
| Descrizione fisica | XXII, 264 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] |
| ISBN |
02-621-3295-8
978-02-621-3295-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0052708 |
|
Matiiasevich, Iurii V.
|
||
| Cambridge ; London, : MIT, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
| Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis |
| Autore | Matiiasevich, Iurii V. |
| Pubbl/distr/stampa | Cambridge ; London, : MIT, 1993 |
| Descrizione fisica | XXII, 264 p. ; 24 cm |
| Soggetto topico |
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 68-XX - Computer science [MSC 2020] |
| ISBN |
02-621-3295-8
978-02-621-3295-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00052708 |
|
Matiiasevich, Iurii V.
|
||
| Cambridge ; London, : MIT, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite
| On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite |
| Autore | Gödel, Kurt |
| Pubbl/distr/stampa | New York, : Dover, 1992 |
| Descrizione fisica | VIII, 72 p. ; 21 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] |
| ISBN | 978-04-86669-80-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051170 |
|
Gödel, Kurt
|
||
| New York, : Dover, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite
| On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite |
| Autore | Gödel, Kurt |
| Pubbl/distr/stampa | New York, : Dover, 1992 |
| Descrizione fisica | VIII, 72 p. ; 21 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] |
| ISBN | 978-04-86669-80-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0051170 |
|
Gödel, Kurt
|
||
| New York, : Dover, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite
| On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R. B. Braithwaite |
| Autore | Gödel, Kurt |
| Pubbl/distr/stampa | New York, : Dover, 1992 |
| Descrizione fisica | VIII, 72 p. ; 21 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| ISBN | 978-04-86669-80-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00051170 |
|
Gödel, Kurt
|
||
| New York, : Dover, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote
| The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote |
| Autore | McKenzie, Ralph |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1989 |
| Descrizione fisica | VIII, 212 p. ; 24 cm. |
| Altri autori (Persone) | Valeriote, Matthew |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
| ISBN |
08-17-63439-8
978-08-17-63439-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053731 |
|
McKenzie, Ralph
|
||
| Boston, : Birkhäuser, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote
| The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote |
| Autore | McKenzie, Ralph |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1989 |
| Descrizione fisica | VIII, 212 p. ; 24 cm |
| Altri autori (Persone) | Valeriote, Matthew |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
| Soggetto non controllato |
Abelian groups
Algebra Algorithms Boolean algebra Boundary Element Methods Decidability Functions Geometry Language Mathematica Set System Theorem eXist |
| ISBN | 978-08-17-63439-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0053731 |
|
McKenzie, Ralph
|
||
| Boston, : Birkhäuser, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
(16)
- 03-XX - Mathematical logic and foundations [MSC 2020] (10)
- 03B25 - Decidability of theories and sets of sentences [MSC 2020] (5)
- 03C05 - Equational classes, universal algebra in model theory [MSC 2020] (5)
- 03C13 - Model theory of finite structures [MSC 2020] (5)