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.
Einführung in die Verbandstheorie : mit 32 abbildungen
| Einführung in die Verbandstheorie : mit 32 abbildungen |
| Autore | HERMES, Hans |
| Edizione | [2. erweiterte auflage] |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1967 |
| Descrizione fisica | XII, 209 p. : fig. ; 24 cm |
| Disciplina | 514.2 |
| Collana |
Die Grundlehren |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990000634800203316 |
HERMES, Hans
|
||
| Berlin, : Springer-Verlag, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
| Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Torino : Boringhieri, 1975 |
| Descrizione fisica | 318 p. ; 24 cm |
| Collana | Testi e manuali della scienza contemporanea.. 5, Serie di logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001660800203316 |
|
HERMES, Hans
|
||
| Torino : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 Mathematischen Wissenschaften |
| Soggetto topico |
Analisi matematica
Logica matematica Modelli matematici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000112980203316 |
|
HERMES, Hans
|
||
| Berlin [etc.], : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enumerabilità decidibilità computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
| Enumerabilità decidibilità computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Torino : Boringhieri, copyr. 1975 |
| Descrizione fisica | 318 p. : ill. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990003231140203316 |
|
HERMES, Hans
|
||
| Torino : Boringhieri, copyr. 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo]
| Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo] |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1975 |
| Descrizione fisica | 318 p. ; 21 cm |
| Disciplina | 511.35 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Funzioni ricorsive |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005603580203316 |
|
HERMES, Hans
|
||
| Torino, : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to mathematical logic / Hermes Hans ; Translated from German by Diana Schmidt
| Introduction to mathematical logic / Hermes Hans ; Translated from German by Diana Schmidt |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1973 |
| Descrizione fisica | XI, 242 p. ; 25 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| ISBN | 3-540-05819-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003223250203316 |
|
HERMES, Hans
|
||
| Berlin : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathesis universalis : abhandlungen zur philosophie als strenger wissenschaft / Heinrich Scholz ; herausgegeben von Hans Hermes, Friedrich Kambartel und Joachim Ritter
| Mathesis universalis : abhandlungen zur philosophie als strenger wissenschaft / Heinrich Scholz ; herausgegeben von Hans Hermes, Friedrich Kambartel und Joachim Ritter |
| Autore | SCHOLZ, Heinrich |
| Edizione | [2 aufl.] |
| Pubbl/distr/stampa | Basel : Schwabe, 1969 |
| Descrizione fisica | 483 p. ; 24 cm |
| Disciplina | 160 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990000461000203316 |
|
SCHOLZ, Heinrich
|
||
| Basel : Schwabe, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Vol.1: Nachgelassene schriften / Frege Gottlob ; Herausgegeben von Hans Hermes, Friedrich Kambartel und Friedrich Kaulbach
| Vol.1: Nachgelassene schriften / Frege Gottlob ; Herausgegeben von Hans Hermes, Friedrich Kambartel und Friedrich Kaulbach |
| Autore | FREGE, Gottlob |
| Pubbl/distr/stampa | Hamburg : Felix Meiner Verlag, 1969 |
| Descrizione fisica | v.1 XLI, 322 p. |
| Disciplina | 511.3 |
| Collana | Nachgelassene schriften und wissenschaftlicher briefwechsel |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990003222140203316 |
|
FREGE, Gottlob
|
||
| Hamburg : Felix Meiner Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
