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 |
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-VAN0023707 |
| Amsterdam, : Elsevier, 1998 | ||
| 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 | ||
| ||
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 : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli
| Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli |
| Autore | Epstein, Richard L. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Belmont ; London, : Wadsworth, 1999 |
| Descrizione fisica | 337 p. : ill. ; 24 cm. |
| Altri autori (Persone) | Carnielli, Walter A. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 05-345-4644-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0023713 |
|
Epstein, Richard L.
|
||
| Belmont ; London, : Wadsworth, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli
| Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli |
| Autore | Epstein, Richard L. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Belmont ; London, : Wadsworth, 1999 |
| Descrizione fisica | 337 p. : ill. ; 24 cm |
| Altri autori (Persone) | Carnielli, Walter A. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 05-345-4644-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0023713 |
|
Epstein, Richard L.
|
||
| Belmont ; London, : Wadsworth, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3rd ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm. |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053087 |
|
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053087 |
|
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and unsolvability / Martin Davis
| Computability and unsolvability / Martin Davis |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York, : Dover, 1982 |
| Descrizione fisica | XXV, 248 p. : ill. ; 21 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 978-04-86614-71-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054205 |
|
Davis, Martin
|
||
| New York, : Dover, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
