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
Autore Cambridge Summer school in mathematical logic <1971 ; Cambridge>
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1973
Descrizione fisica ix, 660 p. ; 26 cm
Disciplina 511.3
Altri autori (Persone) Mathias, A. R. D.
Rogers, Hartley
Collana Lecture notes in mathematics, 0075-8434 ; 337
Soggetto topico Symbolic logic - Congresses
ISBN 354005569X
Classificazione AMS 03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000730789707536
Cambridge Summer school in mathematical logic <1971 ; Cambridge>  
Berlin ; New York : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. del Salento
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
Autore Mathias, A. R. D. <Adrian Richard David ; <1944-
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1973
Descrizione fisica IX, 660 p. ; 25 cm
Disciplina 160
Collana Lecture Notes in Mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-05569-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001031700403321
Mathias, A. R. D. <Adrian Richard David ; <1944-  
Berlin [etc.] : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. Federico II
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
Autore Summer school in mathematical logic : <1971
Pubbl/distr/stampa Berlin [etc.] : Springer, 1973
Descrizione fisica IX, 660 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Logica simbolica - Congressi
Logica matematica - Congressi
ISBN 3-540-05569-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
fre
Record Nr. UNIBAS-000014807
Summer school in mathematical logic : <1971  
Berlin [etc.] : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
Autore Rogers, Hartley
Pubbl/distr/stampa Cambridge [etc.] : The MIT Press, c1987
Descrizione fisica xxi, 482 p. ; 23 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
ISBN 0-262-68052-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001091770403321
Rogers, Hartley  
Cambridge [etc.] : The MIT Press, c1987
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Hartley Rogers
Theory of recursive functions and effective computability / Hartley Rogers
Autore Rogers, Hartley
Pubbl/distr/stampa Cambridge : <> Mit press, c1987
Descrizione fisica XXI, 482 p. ; 23 cm.
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 0-262-68052-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011491
Rogers, Hartley  
Cambridge : <<The>> Mit press, c1987
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Hartley Rogers jr
Theory of recursive functions and effective computability / Hartley Rogers jr
Autore Rogers, Hartley
Pubbl/distr/stampa Cambridge, Mass. ; London, : The MIT press, c1987
Descrizione fisica XXI, 482 p. ; 23 cm
Disciplina 511.3
Soggetto topico Funzioni recorsive
Funzioni computabili
ISBN 0262680521
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNISANNIO-AQ10004525
Rogers, Hartley  
Cambridge, Mass. ; London, : The MIT press, c1987
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Hartley Rogers
Theory of recursive functions and effective computability / Hartley Rogers
Autore Rogers, Hartley
Pubbl/distr/stampa New York [etc.] : McGraw-Hill, c1967
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001087840403321
Rogers, Hartley  
New York [etc.] : McGraw-Hill, c1967
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Hartley Rogers jr
Theory of recursive functions and effective computability / Hartley Rogers jr
Autore Rogers, Hartley
Pubbl/distr/stampa New York : McGraw-Hill, c1967
Descrizione fisica xix, 482 p. ; 23 cm.
Disciplina 511.33
Collana McGraw-Hill series in higher mathematics
Soggetto topico Computability
Recursive functions
Classificazione AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001436969707536
Rogers, Hartley  
New York : McGraw-Hill, c1967
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui