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.
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia / edited by J.N. Crossley
| Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia / edited by J.N. Crossley |
| Autore | Australian Mathematical Society |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
| Descrizione fisica | VIII, 307 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07152-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000979730403321 |
Australian Mathematical Society
|
||
| Berlin [etc.] : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra and logic [e-book] : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash university, Australia / edited by John Newsome Crossley
| Algebra and logic [e-book] : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash university, Australia / edited by John Newsome Crossley |
| Pubbl/distr/stampa | Berlin : Springer, 1975 |
| Descrizione fisica | 1 online resource (307 p.) |
| Disciplina | 510 |
| Altri autori (Persone) | Crossley, John Newsome |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 450 |
| Soggetto topico | Mathematics |
| ISBN | 9783540374800 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002171549707536 |
| Berlin : Springer, 1975 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Che cos'è la logica matematica? / John N. Crossley ... [et al.]
| Che cos'è la logica matematica? / John N. Crossley ... [et al.] |
| Pubbl/distr/stampa | Torino : Paolo Boringhieri, 1976 |
| Descrizione fisica | 121 p. ; cm |
| Disciplina | 511.3 |
| Collana | Universale scientifica |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009164810403321 |
| Torino : Paolo Boringhieri, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatorial functors / by Crossley and Nerode
| Combinatorial functors / by Crossley and Nerode |
| Autore | Crossley, John Newsome |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1974 |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001142480403321 |
|
Crossley, John Newsome
|
||
| Berlin [etc.] : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive order types / John N. Crossley
| Constructive order types / John N. Crossley |
| Autore | Crossley, John Newsome |
| Pubbl/distr/stampa | Amsterdam ; London : North-Holland, 1969 |
| Descrizione fisica | 225 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000979750403321 |
|
Crossley, John Newsome
|
||
| Amsterdam ; London : North-Holland, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / edited by J. N. Crossley , M. A. E. Dummett
| Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / edited by J. N. Crossley , M. A. E. Dummett |
| Autore | Logic Colloquium : <8. ; : 1963 |
| Pubbl/distr/stampa | Amsterdam : North Holland, 1965 |
| Descrizione fisica | 320 p. ; 24 cm |
| Disciplina |
516
160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Insiemi
Strutture algebriche Logica Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002558740403321 |
|
Logic Colloquium : <8. ; : 1963
|
||
| Amsterdam : North Holland, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
History of Mathematics and Related Sciences : An annotated bibliography of sources held by Monash University Library / Gordon C. Smith, Susan Radvansky, Marta Chiba ; editor John N. Crossley
| History of Mathematics and Related Sciences : An annotated bibliography of sources held by Monash University Library / Gordon C. Smith, Susan Radvansky, Marta Chiba ; editor John N. Crossley |
| Autore | Smith, Gordon C. |
| Pubbl/distr/stampa | Clayton (AUS) : Monash University Depar tment of Mathematics, 1992 |
| Descrizione fisica | XIX, 138 p. ; 24 cm |
| Disciplina | 016.510 9 |
| Soggetto non controllato |
Matematica - Storia
Matematica - Bibliografie |
| ISBN | 0-7326-0276-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001325740403321 |
|
Smith, Gordon C.
|
||
| Clayton (AUS) : Monash University Depar tment of Mathematics, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory / Kurt Schutte ; translation from the German by J.N. Crossley
| Proof Theory / Kurt Schutte ; translation from the German by J.N. Crossley |
| Autore | Schütte, Kurt |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
| Descrizione fisica | xii, 299 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Die Grundlehren der mathematischen Wissenschaften |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07911-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001058410403321 |
|
Schütte, Kurt
|
||
| Berlin [etc.] : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Models and Recursion Theory : Proceedings of the Summer School in Mathematical Logic and 10th Logic Colloquium : Leicester, August-September 1965 / Edited by John N. Crossley
| Sets, Models and Recursion Theory : Proceedings of the Summer School in Mathematical Logic and 10th Logic Colloquium : Leicester, August-September 1965 / Edited by John N. Crossley |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1967 |
| Descrizione fisica | 331 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000979760403321 |
| Amsterdam : North-Holland, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
What is Mathematical Logic? / J.N. Crossley ... [et al.]
| What is Mathematical Logic? / J.N. Crossley ... [et al.] |
| Autore | Crossley, John Newsome |
| Pubbl/distr/stampa | London [etc.] : Oxford University Press, 1972 |
| Descrizione fisica | [ix], 82 p. ; 20 cm |
| Disciplina | 160 |
| Collana | Oxford paperbacks University Press |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000979740403321 |
|
Crossley, John Newsome
|
||
| London [etc.] : Oxford University Press, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||