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, 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 logic / George Boolos, Richard Jeffrey
| Computability and logic / George Boolos, Richard Jeffrey |
| Autore | Boolos, George |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge : University Press, 1980 |
| Descrizione fisica | 285 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Jeffrey, Richard |
| Soggetto non controllato |
Funzioni calcolabili
Logica - Matematica |
| ISBN | 0-521-23479-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000459050403321 |
|
Boolos, George
|
||
| Cambridge : University Press, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computability and Logic / George Boolos, Richard Jeffrey
| Computability and Logic / George Boolos, Richard Jeffrey |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1974 |
| Descrizione fisica | X, 262 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-521-20402-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000964420403321 |
|
Boolos, George
|
||
| Cambridge : Cambridge University Press, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computability and logic / George Boolos, Richard Jeffrey
| Computability and logic / George Boolos, Richard Jeffrey |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1974 |
| Descrizione fisica | x, 262 p. : ill. ; 24 cm. |
| Disciplina | 511.35 |
| Altri autori (Persone) | Jeffrey, Richard C.author |
| Soggetto topico |
Computable functions
Recursive functions Symbolic logic |
| ISBN | 052120402X |
| Classificazione | AMS 03D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772999707536 |
|
Boolos, George
|
||
| Cambridge : Cambridge University Press, c1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The logic of provability / George Boolos
| The logic of provability / George Boolos |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1995 |
| Descrizione fisica | XXXVI, 275 p. : ill. ; 24 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] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| ISBN | 978-05-214-8325-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053086 |
|
Boolos, George
|
||
| Cambridge, : Cambridge university, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The logic of provability / George Boolos
| The logic of provability / George Boolos |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1995 |
| Descrizione fisica | XXXVI, 275 p. : ill. ; 24 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] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| ISBN | 978-05-214-8325-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053086 |
|
Boolos, George
|
||
| Cambridge, : Cambridge university, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The unprovability of consistency : An Essay in Modal Logic / George Boolos
| The unprovability of consistency : An Essay in Modal Logic / George Boolos |
| Autore | Boolos, George |
| Pubbl/distr/stampa | London [etc.] : Cambridge University Press, 1979 |
| Descrizione fisica | viii, 184 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-521-21879-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000964410403321 |
|
Boolos, George
|
||
| London [etc.] : Cambridge University Press, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Unprovability of Consistency. An Essay in Modal Logic / by Boolos G.
| The Unprovability of Consistency. An Essay in Modal Logic / by Boolos G. |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge [etc.] : Cambridge University Press, 1979 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001138810403321 |
|
Boolos, George
|
||
| Cambridge [etc.] : Cambridge University Press, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||