Info
Coerenza e completezza delle teorie elementari : la metateoria dei sistemi formali nella scuola Hilbertiana / Mauro Mariani, Enrico Moriconi
| Coerenza e completezza delle teorie elementari : la metateoria dei sistemi formali nella scuola Hilbertiana / Mauro Mariani, Enrico Moriconi |
| Autore | Mariani, Mauro |
| Pubbl/distr/stampa | Pisa : ETS, [1984] |
| Descrizione fisica | 269 p. ; 24 cm |
| Disciplina | 510 |
| Altri autori (Persone) | Moriconi, Enrico <1950- > |
| Collana | Biblioteca di Teoria |
| Soggetto non controllato | Filosofia della matematica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009105600403321 |
Mariani, Mauro
|
||
| Pisa : ETS, [1984] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discorso e significato : Introduzione alla logica contemporanea / Enrico Moriconi
| Discorso e significato : Introduzione alla logica contemporanea / Enrico Moriconi |
| Autore | Moriconi, Enrico <1950- > |
| Pubbl/distr/stampa | Roma : La Nuova Italia Scientifica, 1994 |
| Descrizione fisica | 196 p. ; 22 cm |
| Collana | Studi superiori NIS |
| ISBN | 88-430-0166-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004054160403321 |
|
Moriconi, Enrico <1950- >
|
||
| Roma : La Nuova Italia Scientifica, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Esistenza e costruzione : Introduzione all'intuizionismo / enrico Moriconi
| Esistenza e costruzione : Introduzione all'intuizionismo / enrico Moriconi |
| Autore | Moriconi, Enrico <1950- > |
| Pubbl/distr/stampa | Pisa : Etas, 1988 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001321110403321 |
|
Moriconi, Enrico <1950- >
|
||
| Pisa : Etas, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La teoria della dimostrazione di Hilbert / Enrico Moriconi
| La teoria della dimostrazione di Hilbert / Enrico Moriconi |
| Autore | Moriconi, Enrico <1950- > |
| Pubbl/distr/stampa | Napoli : Bibliopolis, c1987 |
| Descrizione fisica | 126 p. ; 22 cm |
| Disciplina | 509 |
| Collana | Testi per lo studio della logica matematica |
| Soggetto non controllato | Storia della logica e probabilità |
| ISBN | 88-7088-177-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001442020403321 |
|
Moriconi, Enrico <1950- >
|
||
| Napoli : Bibliopolis, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||