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.
Mathematical logic / Stephen Cole Kleene
| Mathematical logic / Stephen Cole Kleene |
| Autore | Kleene, Stephen Cole <1909- > |
| Pubbl/distr/stampa | New York : John Wiley, 1967 |
| Descrizione fisica | XIII, 398 p. : ill. ; 24 cm |
| Disciplina |
160
511.3 |
| Soggetto non controllato |
Logica
Ricorsività Analisi matematica Logica e fondamenti |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001259160403321 |
Kleene, Stephen Cole <1909- >
|
||
| New York : John Wiley, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic / by Willard van Orman Quine
| Mathematical Logic / by Willard van Orman Quine |
| Autore | Orman, Willard van Quine <1908-2000> |
| Edizione | [Revised ed.] |
| Pubbl/distr/stampa | Cambridge : Harvard University Press, 1955, c1940 |
| Descrizione fisica | xii, 346 p. ; 21 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001050190403321 |
|
Orman, Willard van Quine <1908-2000>
|
||
| Cambridge : Harvard University Press, 1955, c1940 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic : A First Course / Joel W. Robbin
| Mathematical Logic : A First Course / Joel W. Robbin |
| Autore | Robbin, Joel W. |
| Pubbl/distr/stampa | New York [etc.] : Benjamin, 1969 |
| Descrizione fisica | xii, 212 p. ; 24 cm |
| Disciplina | 160 |
| Collana | University Mathematics Series |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001053510403321 |
|
Robbin, Joel W.
|
||
| New York [etc.] : Benjamin, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic / Joseph R. Shoenfield
| Mathematical logic / Joseph R. Shoenfield |
| Autore | Shoenfield, Joseph Robert |
| Pubbl/distr/stampa | Reading [MA] : Addison-Wesley, 1967 |
| Descrizione fisica | VII, 344 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Addison-Wesley series in logic |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001061070403321 |
|
Shoenfield, Joseph Robert
|
||
| Reading [MA] : Addison-Wesley, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa / edited by Luiz Paulo de Alcantara
| Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa / edited by Luiz Paulo de Alcantara |
| Autore | Alcantara, Luiz Paulo : de <1944- > |
| Pubbl/distr/stampa | New York : Marcel Dekker, 1985 |
| Descrizione fisica | XIV, 296 p. ; 26 cm |
| Disciplina | 160 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8247-7330-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001207450403321 |
|
Alcantara, Luiz Paulo : de <1944- >
|
||
| New York : Marcel Dekker, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic and Formalized Theories : A Survey of Basic Concepts and Results / Robert Rogers
| Mathematical Logic and Formalized Theories : A Survey of Basic Concepts and Results / Robert Rogers |
| Autore | Rogers, Robert |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1971 |
| Descrizione fisica | xi, 235 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7204-2051-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001053980403321 |
|
Rogers, Robert
|
||
| Amsterdam [etc.] : North-Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel
| Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1970 |
| Descrizione fisica | 145 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 7204-2255-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000957390403321 |
| Amsterdam : North-Holland, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic and Programming Languages / edited by C.A.R. Hoare and J.C. Shepherdson
| Mathematical Logic and Programming Languages / edited by C.A.R. Hoare and J.C. Shepherdson |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | Englewood Cliffs [etc.] : Prentice-Hall, 1985 |
| Descrizione fisica | 184 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-13-561465-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093750403321 |
|
Hoare, Charles Antony Richard
|
||
| Englewood Cliffs [etc.] : Prentice-Hall, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic and Theoretical Computer Science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
| Mathematical Logic and Theoretical Computer Science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith |
| Autore | Kueker, David W. |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, 1987 |
| Descrizione fisica | xviii, 383 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8247-7746-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093780403321 |
|
Kueker, David W.
|
||
| New York [etc.] : Marcel Dekker, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics without Numbers : Towards a Modal-Structural Interpretation / Geoffrey Hellman
| Mathematics without Numbers : Towards a Modal-Structural Interpretation / Geoffrey Hellman |
| Autore | Hellman, Geoffrey |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1989 |
| Descrizione fisica | ix, 154 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-19-824934-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001096470403321 |
|
Hellman, Geoffrey
|
||
| Oxford : Clarendon Press, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
