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.
Abstract set theory / Thoralf A. Skolem
| Abstract set theory / Thoralf A. Skolem |
| Autore | Skolem, Thoralf A. |
| Pubbl/distr/stampa | Indiana : Notre Dame Press, 1962 |
| Descrizione fisica | 70 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Notre Dame mathematical lectures |
| Soggetto non controllato |
Insiemi
Strutture algebriche Teoria degli insiemi |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002559060403321 |
Skolem, Thoralf A.
|
||
| Indiana : Notre Dame Press, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract set theory / by SKOLEM T.A.
| Abstract set theory / by SKOLEM T.A. |
| Autore | Skolem, Thoralf A. |
| Soggetto non controllato | Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001304440403321 |
|
Skolem, Thoralf A.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Il Paradiso di Cantor Il dibattito sui fondamenti della teoria de gli insiemi a cura di Carlo Cellucci / di Bernays ; Kreisel ; Montague ; Mostowscki ; Skolem ; Ullian ; Zermelo
| Il Paradiso di Cantor Il dibattito sui fondamenti della teoria de gli insiemi a cura di Carlo Cellucci / di Bernays ; Kreisel ; Montague ; Mostowscki ; Skolem ; Ullian ; Zermelo |
| Autore | Bernays, Paul <1888-1977> |
| Pubbl/distr/stampa | Napoli : Bibliopolis, 1978 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001133980403321 |
|
Bernays, Paul <1888-1977>
|
||
| Napoli : Bibliopolis, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Interpretation of Formal Systems / Th. Skolem ... [et al.]
| Mathematical Interpretation of Formal Systems / Th. Skolem ... [et al.] |
| Autore | Skolem, Thoralf A. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1955 |
| Descrizione fisica | VIII, 113 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001062220403321 |
|
Skolem, Thoralf A.
|
||
| Amsterdam : North-Holland, 1955 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Selected Works in Logic / by Th. Skolem ; edited by Jens Erik Fenstad
| Selected Works in Logic / by Th. Skolem ; edited by Jens Erik Fenstad |
| Autore | Skolem, Thoralf A. |
| Pubbl/distr/stampa | Oslo [etc.] : Universitetsforlaget, 1970 |
| Descrizione fisica | 732 p. ; 26 cm |
| Disciplina | 160 |
| Collana | Skandinavian University Books |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000991650403321 |
|
Skolem, Thoralf A.
|
||
| Oslo [etc.] : Universitetsforlaget, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||