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.
2: Recursive algebra, analysis and combinatorics
| 2: Recursive algebra, analysis and combinatorics |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1998 |
| Descrizione fisica | XLVI, P. 623-1372 ; 24 cm. |
| Soggetto topico |
03Dxx - Computability and recursion theory [MSC 2020]
03D45 - Theory of numerations, effectively presented structures [MSC 2020] |
| ISBN | 04-445-0106-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0023707 |
| Amsterdam, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Recursive algebra, analysis and combinatorics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek
| 2: Recursive algebra, analysis and combinatorics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1998 |
| Descrizione fisica | XLVI, P. 623-1372 ; 24 cm |
| Soggetto topico |
03D45 - Theory of numerations, effectively presented structures [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 04-445-0106-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0023707 |
| Amsterdam, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Recursive algebra, analysis and combinatorics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek
| 2: Recursive algebra, analysis and combinatorics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1998 |
| Descrizione fisica | XLVI, P. 623-1372 ; 24 cm |
| Soggetto topico |
03D45 - Theory of numerations, effectively presented structures [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 04-445-0106-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00023707 |
| Amsterdam, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithms: Main Ideas and Applications / by Vladimir Uspensky and Alexei Semenov
| Algorithms: Main Ideas and Applications / by Vladimir Uspensky and Alexei Semenov |
| Autore | Uspensky, Vladimir A. |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1993 |
| Descrizione fisica | xii, 269 p. : ill. ; 24 cm |
| Altri autori (Persone) | Semenov, Alekseĭ L. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Arithmetic Boundary Element Methods Complexity Design Entropy Forms Hardware Information Theory Informations Logic Mathematical logic Notation Randomness Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00290920 |
Uspensky, Vladimir A.
|
||
| Dordrecht, : Springer, : Kluwer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Invitation to Mathematical Logic / David Marker
| An Invitation to Mathematical Logic / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | Cham, : Springer, 2024 |
| Descrizione fisica | xviii, 357 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Computability Godel's completeness Gödel incompleteness theorem Hilbert's 10th problem Incompleteness theorem Logic for Computer Science Logic for philosophy Marker GTM Mathematical logic Model theory introduction Peano arithmetic Quantifier elimination Turing reducibility Ultraproducts |
| ISBN | 978-30-315-5367-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283788 |
|
Marker, David
|
||
| Cham, : Springer, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255990 |
|
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00255990 |
|
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : a mathematical sketchbook / Douglas S. Bridges
| Computability : a mathematical sketchbook / Douglas S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | IX, 178 p. : ill. ; 25 cm. |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 978-35-409-4174-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053441 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : a mathematical sketchbook / Douglas S. Bridges
| Computability : a mathematical sketchbook / Douglas S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | IX, 178 p. : ill. ; 25 cm |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 978-35-409-4174-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053441 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : A Mathematical Sketchbook / Douglas S. Bridges
| Computability : A Mathematical Sketchbook / Douglas S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | ix, 178 p. : ill. ; 25 cm |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Complexity
Computability Functions Recursion |
| ISBN | 978-35-409-4174-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053441 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
