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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|