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.
Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated theorem proving Boolean satisfiability problem Classification Communications Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| 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]
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 | ||
| ||
Metamathematics of Fuzzy Logic / Petr Hájek
| Metamathematics of Fuzzy Logic / Petr Hájek |
| Autore | Hájek, Petr |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1998 |
| Descrizione fisica | viii, 297 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B50 - Many-valued logic [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03G10 - Logical aspects of lattices and related structures [MSC 2020] |
| Soggetto non controllato |
Addition
Logic Mathematical logic Predicate logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298416 |
|
Hájek, Petr
|
||
| Dordrecht, : Springer, : Kluwer, 1998 | ||
| 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 | ||
| ||
Soggetto topico
-
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
(18)
- 03-XX - Mathematical logic and foundations [MSC 2020] (12)
- 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)