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.
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 | ||
| ||
Enumerability, decidability, computability / Hans Hermes.
| Enumerability, decidability, computability / Hans Hermes. |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1965 |
| Descrizione fisica | ix, 245 p. ; 24 cm |
| Disciplina | 512 |
| Collana | Serie di matematica |
| Soggetto non controllato | Teoria dei numeri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002575720403321 |
|
Hermes, Hans
|
||
| Berlin : Springer Verlag, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enumerability, Decidability, Computability / BY HERMES HANS
| Enumerability, Decidability, Computability / BY HERMES HANS |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | [S.l.] : Springer-Verlag, 1965 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001293330403321 |
|
Hermes, Hans
|
||
| [S.l.] : Springer-Verlag, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / Hans Hermes ; Translated by G. T. Herman and O. Plassman
| Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / Hans Hermes ; Translated by G. T. Herman and O. Plassman |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | Berlin, : Springer, 1965 |
| Descrizione fisica | x, 245 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Equations Functions Logic Mathematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0254424 |
|
Hermes, Hans
|
||
| Berlin, : Springer, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Enumerability. Decidability. Computabily : an Introduction tho theory of recursive functions / H. Hermes ; translated by G. T. Hermann and O. Plassmann
| Enumerability. Decidability. Computabily : an Introduction tho theory of recursive functions / H. Hermes ; translated by G. T. Hermann and O. Plassmann |
| Autore | Hermes, Hans |
| Edizione | [2 ed. revised] |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1969 |
| Descrizione fisica | X, 245 P. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Die Grundlehren der mathematischen Wissenschaften |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000852900403321 |
|
Hermes, Hans
|
||
| Berlin : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enumerabilità decibilità computabilità / Hermes Hans ; [Traduzione di Edoardo Ballo]
| Enumerabilità decibilità computabilità / Hermes Hans ; [Traduzione di Edoardo Ballo] |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | Torino : Boringhieri, 1975 |
| Descrizione fisica | 318 p. ; 21 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIBAS-000009010 |
|
Hermes, Hans
|
||
| Torino : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Enumerabilità, decidibilità, computabilità : Introduzione alla teoria delle funzioni ricorsive / DI HERMES HANS
| Enumerabilità, decidibilità, computabilità : Introduzione alla teoria delle funzioni ricorsive / DI HERMES HANS |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | Torino : Boringhieri, 1975 |
| Collana | Series di Logica Matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001293250403321 |
|
Hermes, Hans
|
||
| Torino : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt
| Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt |
| Autore | Hermes, Hans |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1973 |
| Descrizione fisica | XI, 242 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Universitext |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-05819-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007380403321 |
|
Hermes, Hans
|
||
| Berlin [etc.] : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
