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.
Büchi’s Monadic Second Order Successor Arithmetic [[electronic resource] /] / von Dirk Siefkes
| Büchi’s Monadic Second Order Successor Arithmetic [[electronic resource] /] / von Dirk Siefkes |
| Autore | Siefkes Dirk |
| Edizione | [1st ed. 1970.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1970 |
| Descrizione fisica | 1 online resource (XII, 133 S.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Mathematics
Mathematics, general |
| ISBN | 3-662-36678-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-996466509103316 |
Siefkes Dirk
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Decidable theories I Büchi's monadic second order successor arithmetic / / Dirk Siefkes
| Decidable theories I Büchi's monadic second order successor arithmetic / / Dirk Siefkes |
| Autore | Siefkes Dirk |
| Edizione | [1st ed. 1970.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1970] |
| Descrizione fisica | 1 online resource (XIV, 134 p.) |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Gödel's theorem |
| ISBN | 3-540-36252-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466665203316 |
|
Siefkes Dirk
|
||
| Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1970] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||