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.
Computability and logic / George S. Boolos, John P. Burgess, Richard C.n Jeffrey
| Computability and logic / George S. Boolos, John P. Burgess, Richard C.n Jeffrey |
| Autore | Boolos, George S. |
| Edizione | [5th ed.] |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, @2007 |
| Descrizione fisica | xiv, 350 p. ; 26 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Burgess, John P.
Jeffrey, Richard C. |
| Soggetto non controllato |
Matematica logica
Matematica simbolica Funzioni calcolabili |
| ISBN | 978-0-521-70146-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990010091970403321 |
| Boolos, George S. | ||
| Cambridge : Cambridge University Press, @2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Logik der Entscheidungen / Richard C. Jeffrey
| Logik der Entscheidungen / Richard C. Jeffrey |
| Autore | Jeffrey, Richard C. |
| Pubbl/distr/stampa | Wien ; München : Oldenbourg, 1967 |
| Descrizione fisica | 271 p. ; 24 cm |
| Collana | Scientia nova |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-990007368880403321 |
|
Jeffrey, Richard C.
|
||
| Wien ; München : Oldenbourg, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Studies in Inductive Logic and Probability / Rudolf Carnap and Richard C. Jeffrey editors
| Studies in Inductive Logic and Probability / Rudolf Carnap and Richard C. Jeffrey editors |
| Autore | Carnap, Rudolf <1891-1970> |
| Pubbl/distr/stampa | Berkeley [etc.] : University of California Press, 1971 |
| Descrizione fisica | vi, 264 p. ; 24 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000972210403321 |
|
Carnap, Rudolf <1891-1970>
|
||
| Berkeley [etc.] : University of California Press, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Studies in Inductive Logic and Probability / Rudolf Carnap , Richard C. Jeffrey
| Studies in Inductive Logic and Probability / Rudolf Carnap , Richard C. Jeffrey |
| Autore | Carnap, Rudolf <1891-1970> |
| Pubbl/distr/stampa | Berkeley : University of California Press, 1971 |
| Descrizione fisica | 264 p. ; 24 cm |
| Disciplina | 519 |
| Soggetto non controllato | Probabilità, Probabilità - teoria generale |
| ISBN | 0520018664 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002539020403321 |
|
Carnap, Rudolf <1891-1970>
|
||
| Berkeley : University of California Press, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||