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.
Alla ricerca della certezza perduta : forma-contenuto nei fondamenti della matematica / Giovanni Sambin
| Alla ricerca della certezza perduta : forma-contenuto nei fondamenti della matematica / Giovanni Sambin |
| Autore | Sambin, Giovanni |
| Pubbl/distr/stampa | Napoli, : Istituto italiano per gli studi filosofici, \1990?! |
| Descrizione fisica | 23 p. ; 24 cm. |
| Disciplina | 510-SAM-1 |
| Collana | Seminari di scienzeIstituto italiano per gli studi filosofici |
| ISBN | 88-7723-029-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910706100503321 |
Sambin, Giovanni
|
||
| Napoli, : Istituto italiano per gli studi filosofici, \1990?! | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Atti del congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS
| Atti del congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS |
| Autore | Congresso Nuovi problemi della logica e della filosofia della scienza <1990 ; Viareggio> |
| Pubbl/distr/stampa | Bologna : CLUEB, [1991] |
| Descrizione fisica | 2 v. ; 24 cm. |
| Altri autori (Persone) |
Corsi, Giovanna
Costantini, Domenico Galavotti, Maria Carla Sambin, Giovanni |
| Soggetto topico |
Epistemologia - Congressi
Logica matematica - Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001892029707536 |
|
Congresso Nuovi problemi della logica e della filosofia della scienza <1990 ; Viareggio>
|
||
| Bologna : CLUEB, [1991] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee : Cesena, 7-10 gennaio 1987 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS
| Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee : Cesena, 7-10 gennaio 1987 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS |
| Autore | Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee <1987 ; Cesena> |
| Pubbl/distr/stampa | Bologna : CLUEB, [1988] |
| Descrizione fisica | 2 v. ; 24 cm. |
| Altri autori (Persone) |
Cellucci, Carlo
Dalla Chiara, Maria Luisa Galavotti, Maria Carla Sambin, Giovanni |
| Soggetto topico |
Logica matematica - Congressi
Scienze e filosofia - Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001892099707536 |
|
Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee <1987 ; Cesena>
|
||
| Bologna : CLUEB, [1988] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980
| Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980 |
| Autore | Martin-Löf, Per <1942- > |
| Pubbl/distr/stampa | Napoli : Bibliopolis, 1984 |
| Descrizione fisica | 91 p. ; 24 cm |
| Collana | Studies in proof theory |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 88-7088-105-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001182600403321 |
|
Martin-Löf, Per <1942- >
|
||
| Napoli : Bibliopolis, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nuovi problemi della logica e della filosofia della scienza : atti del congresso organizzato dalla SILFS, Viareggio, 8-13 gennaio 1990 / a cura di Giovanna Corsi e Giovanni Sambin
| Nuovi problemi della logica e della filosofia della scienza : atti del congresso organizzato dalla SILFS, Viareggio, 8-13 gennaio 1990 / a cura di Giovanna Corsi e Giovanni Sambin |
| Autore | Società italiana di logica e filosofia delle scienze |
| Pubbl/distr/stampa | Bologna : CLUEB, 1991 |
| Disciplina | 501 |
| Soggetto non controllato | Fondamenti delle scienze fisiche e naturali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001111320403321 |
|
Società italiana di logica e filosofia delle scienze
|
||
| Bologna : CLUEB, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nuovi problemi della logica e della filosofia della scienza : atti del congresso organizzato dalla Società italiana di logica e filosofia delle scienze SILFS, Viareggio, 8-13 gennaio 1990
| Nuovi problemi della logica e della filosofia della scienza : atti del congresso organizzato dalla Società italiana di logica e filosofia delle scienze SILFS, Viareggio, 8-13 gennaio 1990 |
| Pubbl/distr/stampa | Bologna : CLUEB, 1991 |
| Descrizione fisica | 2 vol. ; 24 cm |
| Disciplina |
501
160 |
| Soggetto non controllato | Logica - Congressi - Viareggio - 1990 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1: Filosofia della scienza e fondamenti della probabilità e della statistica / a cura di Domenico Costantini, Maria Carla Galavotti 2: Logica / a cura di Giovanna Corsi, Giovanni Sambin |
| Record Nr. | UNINA-990001108720403321 |
| Bologna : CLUEB, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Temi e prospettive della logica e della filosofia della scienza contemporanea : atti del congresso organizzato dalla SILFS, Cesena, 7-10 gennaio 1987 / a cura di Carlo Cellucci e Giovanni Sambin
| Temi e prospettive della logica e della filosofia della scienza contemporanea : atti del congresso organizzato dalla SILFS, Cesena, 7-10 gennaio 1987 / a cura di Carlo Cellucci e Giovanni Sambin |
| Pubbl/distr/stampa | Bologna : CLUEB, 1988 |
| Disciplina |
501
160 |
| Soggetto non controllato | Fondamenti delle scienze fisiche e naturali - Filosofia della scienza - Statistica - Congressi - Cesena - 1987 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001091110403321 |
| Bologna : CLUEB, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||