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)
Computability : an introduction to recursive function theory / Nigel Cutland
Computability : an introduction to recursive function theory / Nigel Cutland
Autore Cutland, Nigel
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1980
Disciplina 160
Soggetto non controllato Logica
Ricorsività
ISBN 0-521-22384-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000980190403321
Cutland, Nigel  
Cambridge : Cambridge University Press, 1980
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computability : an introduction to recursive function theory / Nigel Cutland
Computability : an introduction to recursive function theory / Nigel Cutland
Autore Cutland, Nigel
Pubbl/distr/stampa Cambridge, : Cambridge university, 1980
Descrizione fisica XI, 251 p. : ill. ; 24 cm.
Soggetto topico 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]
ISBN 05-212-9465-7
978-05-212-9465-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0054259
Cutland, Nigel  
Cambridge, : Cambridge university, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability : an introduction to recursive function theory / Nigel Cutland
Computability : an introduction to recursive function theory / Nigel Cutland
Autore Cutland, Nigel
Pubbl/distr/stampa Cambridge, : Cambridge university, 1980
Descrizione fisica XI, 251 p. : ill. ; 24 cm
Soggetto topico 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]
ISBN 05-212-9465-7
978-05-212-9465-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054259
Cutland, Nigel  
Cambridge, : Cambridge university, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability : an introduction to recursive function theory / Nigel Cutland
Computability : an introduction to recursive function theory / Nigel Cutland
Autore Cutland, Nigel
Pubbl/distr/stampa Cambridge, : Cambridge university, 1980
Descrizione fisica XI, 251 p. : ill. ; 24 cm
Soggetto topico 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]
ISBN 05-212-9465-7
978-05-212-9465-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00054259
Cutland, Nigel  
Cambridge, : Cambridge university, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability : an introduction to recursive function theory / Nigel Cutland
Computability : an introduction to recursive function theory / Nigel Cutland
Autore Cutland, Nigel
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1980
Descrizione fisica x, 251 p. ; 23 cm.
Disciplina 519.4
Soggetto topico Computable functions
Recursion theory
ISBN 0521294657
Classificazione AMS 03D
QA9.59.C87
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000772779707536
Cutland, Nigel  
Cambridge : Cambridge University Press, 1980
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Developments in nonstandard mathematics / N. J. Cutland ... [et al.] (editors)
Developments in nonstandard mathematics / N. J. Cutland ... [et al.] (editors)
Autore International colloquium on nonstandard mathematics <1994 ; University of Aveiro>
Pubbl/distr/stampa Harlow : Longman ; New York : John Wiley, 1995
Descrizione fisica 260 p. : ill. ; 25 cm.
Disciplina 510
Altri autori (Persone) Cutland, Nigel
Collana Pitman research notes in mathematics series, ISSN 02693674 ; 336
Soggetto topico Nonstandard mathematical analysis - Congresses
ISBN 0582279704
Classificazione AMS 03-06
AMS 03H05
QA299.82.D48
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000812729707536
International colloquium on nonstandard mathematics <1994 ; University of Aveiro>  
Harlow : Longman ; New York : John Wiley, 1995
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Loeb measures in practice : recent advances / Nigel J. Cutland
Loeb measures in practice : recent advances / Nigel J. Cutland
Autore Cutland, Nigel
Pubbl/distr/stampa Berlin ; New York : Springer, c2000
Descrizione fisica xi, 111 p. ; 24 cm
Disciplina 515
Collana Lecture notes in mathematics (Springer-Verlag) ; 1751
Lecture notes in mathematics ; 1751
Soggetto topico Analisi matematica
Teoria della misura
ISBN 3540413847
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991004075349707536
Cutland, Nigel  
Berlin ; New York : Springer, c2000
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Nonstandard analysis : theory and applications / edited by Leif C. Arkeryd, Nigel J. Cutland and C. Ward Henson
Nonstandard analysis : theory and applications / edited by Leif C. Arkeryd, Nigel J. Cutland and C. Ward Henson
Pubbl/distr/stampa Dordrecht, : Kluwer, 1997
Descrizione fisica XIV, 366 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020]
ISBN 07-923458-6-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0059396
Dordrecht, : Kluwer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Nonstandard analysis : theory and applications / edited by Leif C. Arkeryd, Nigel J. Cutland and C. Ward Henson
Nonstandard analysis : theory and applications / edited by Leif C. Arkeryd, Nigel J. Cutland and C. Ward Henson
Pubbl/distr/stampa Dordrecht, : Kluwer, 1997
Descrizione fisica XIV, 366 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020]
ISBN 07-923458-6-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00059396
Dordrecht, : Kluwer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Nonstandard analysis : theory and applications / edited by Leif C. Arkeryd, Nigel J. Cutland and C. Ward Henson
Nonstandard analysis : theory and applications / edited by Leif C. Arkeryd, Nigel J. Cutland and C. Ward Henson
Edizione [Dordrecht : Kluwer]
Descrizione fisica Proceedings of the Nato advanced study institute, Edimburgh, 30 june-13 july 1996.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020]
ISBN 07-923458-6-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0059396
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui