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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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.
![]() |
||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|