top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui