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)
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
Pubbl/distr/stampa Berlin, : Springer, 1973
Descrizione fisica ix, 660 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020]
Soggetto non controllato Logic
Mathematical logic
Model theory
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0255804
Berlin, : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
Pubbl/distr/stampa Berlin, : Springer, 1973
Descrizione fisica ix, 660 p. ; 24 cm
Soggetto topico 00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Logic
Mathematical logic
Model theory
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00255804
Berlin, : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Rogers Hartley Jr
Theory of recursive functions and effective computability / Rogers Hartley Jr
Autore Rogers, Hartley, jr.
Pubbl/distr/stampa Cambridge, : MIT, 2002
Descrizione fisica XIX, 482 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
ISBN 02-626-8052-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051752
Rogers, Hartley, jr.  
Cambridge, : MIT, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Rogers Hartley Jr
Theory of recursive functions and effective computability / Rogers Hartley Jr
Autore Rogers, Hartley, jr.
Pubbl/distr/stampa Cambridge, : MIT, 2002
Descrizione fisica XIX, 482 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
ISBN 02-626-8052-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051752
Rogers, Hartley, jr.  
Cambridge, : MIT, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Rogers Hartley Jr
Theory of recursive functions and effective computability / Rogers Hartley Jr
Autore Rogers, Hartley, jr.
Pubbl/distr/stampa Cambridge, : MIT, 2002
Descrizione fisica XIX, 482 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
ISBN 02-626-8052-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051752
Rogers, Hartley, jr.  
Cambridge, : MIT, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui