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)
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Autore Hermes, Hans
Edizione [2nd revised ed]
Pubbl/distr/stampa Berlin [etc.], : Springer-Verlag, 1969
Descrizione fisica X, 245 p. ; 24 cm
Disciplina 515
Collana Die Grundlehren der mathematischenwissenschaften
Soggetto non controllato analisi matematica
logica matematica
modelli matematici
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000196020203316
Hermes, Hans  
Berlin [etc.], : Springer-Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / by Hans Hermes ; translated by G.T. Herman and O. Plassmann
Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / by Hans Hermes ; translated by G.T. Herman and O. Plassmann
Autore Hermes, Hans
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1965
Descrizione fisica IX, 245 p. ; 24 cm
Disciplina 160
Collana Die Grundlehren der mathematischen Wissenschaften
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001007390403321
Hermes, Hans  
Berlin [etc.] : Springer-Verlag, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Autore Hermes, Hans
Edizione [2nd English ed]
Pubbl/distr/stampa Berlin : Springer-Verlag, 1969
Descrizione fisica x, 245 p. ; 24 cm.
Altri autori (Persone) Hermann, G. T.
Plassmann, O.
Collana Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 127
Soggetto topico Recursive functions
Subrecursive hierarchies
Classificazione AMS 03D20
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000862859707536
Hermes, Hans  
Berlin : Springer-Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui