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.
Logica matematica : corso introduttivo / Vito Michele Abrusci
| Logica matematica : corso introduttivo / Vito Michele Abrusci |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Bari : Fratelli Laterza, [1992] |
| Descrizione fisica | 187 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica - Manuali |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003566239707536 |
Abrusci, Vito Michele
|
||
| Bari : Fratelli Laterza, [1992] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Prospettive della logica e della filosofia della scienza : atti del convegno triennale della Società italiana di logica e filosofia delle scienze : Roma, 3-5 gennaio 1996 / a cura di Vito Michele Abrusci [et al.]
| Prospettive della logica e della filosofia della scienza : atti del convegno triennale della Società italiana di logica e filosofia delle scienze : Roma, 3-5 gennaio 1996 / a cura di Vito Michele Abrusci [et al.] |
| Autore | Convegno triennale su : Prospettive della logica e della filosofia della scienza < 1996 ; Roma> |
| Pubbl/distr/stampa | Pisa : Edizioni Ets, Pubblicazioni della SILFS, 1998 |
| Descrizione fisica | 520 p. : ill. ; 24 cm. |
| Altri autori (Persone) | Abrusci, Vito Michele |
| Altri autori (Enti) | Società italiana di logica e filosofia delle scienze |
| Soggetto topico |
Filosofia della scienza - Congressi
Logica - Congressi Roma - Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991004082909707536 |
|
Convegno triennale su : Prospettive della logica e della filosofia della scienza < 1996 ; Roma>
|
||
| Pisa : Edizioni Ets, Pubblicazioni della SILFS, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Prospettive della logica e della filosofia della scienza : atti del convegno triennale della Società Italiana di Logica e Filosofia delle Scienze : Roma, 3-5 gennaio 1996 / a cura di Vito Michele Abrusci ... [et al.]
| Prospettive della logica e della filosofia della scienza : atti del convegno triennale della Società Italiana di Logica e Filosofia delle Scienze : Roma, 3-5 gennaio 1996 / a cura di Vito Michele Abrusci ... [et al.] |
| Autore | Società italiana di logica e filosofia delle scienze |
| Pubbl/distr/stampa | Pisa : Edizioni ETS, c1998 |
| Descrizione fisica | 520 p. ; 24 cm |
| Collana | Pubblicazioni della SILFS |
| Soggetto non controllato | Fondamenti delle scienze fisiche e naturali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001431820403321 |
|
Società italiana di logica e filosofia delle scienze
|
||
| Pisa : Edizioni ETS, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Prospettive della logica e della filosofia della scienza : atti del convegno triennale della Società italiana di Logica e Filosofia delle Scienze : Roma, 3-5 gennaio 1996 / a cura di Vito Michele Abrusci, Carlo Cellucci, Roberto Cordeschi ... [et al.]
| Prospettive della logica e della filosofia della scienza : atti del convegno triennale della Società italiana di Logica e Filosofia delle Scienze : Roma, 3-5 gennaio 1996 / a cura di Vito Michele Abrusci, Carlo Cellucci, Roberto Cordeschi ... [et al.] |
| Pubbl/distr/stampa | Pisa : ETS, ©1998 |
| Descrizione fisica | 520 p. : ill. ; 24 cm |
| Collana | Pubblicazioni della Società italiana di logica e filosofia della scienza |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990006951610403321 |
| Pisa : ETS, ©1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ricerche sui fondamenti della matematica / David Hilbert ; a cura di V. Michele Abrusci
| Ricerche sui fondamenti della matematica / David Hilbert ; a cura di V. Michele Abrusci |
| Autore | Hilbert, David |
| Pubbl/distr/stampa | Napoli : Bibliopolis, c1978 (stampa 1985) |
| Descrizione fisica | 489 p. ; 23 cm |
| Disciplina | 510.1 |
| Altri autori (Persone) | Abrusci, Vito Michele |
| Collana | Archivio di logica e filosofia della matematica ; 3 |
| Soggetto topico |
Matematica - Teorie
Foundations of Mathematics - Articles Mathematics - Philosophy |
| ISBN | 8870881180 |
| Classificazione | AMS 03-02 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000064489707536 |
|
Hilbert, David
|
||
| Napoli : Bibliopolis, c1978 (stampa 1985) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci
| Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Bari, : Laterza, 1992 |
| Descrizione fisica | 196 p. ; 24 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISOB-E600200054748 |
|
Abrusci, Vito Michele
|
||
| Bari, : Laterza, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci
| Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Bari : Laterza, 1991 |
| Descrizione fisica | 194 p. ; 24 cm |
| Disciplina | 510.3 |
| Soggetto non controllato | Logica matematica - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001330760403321 |
|
Abrusci, Vito Michele
|
||
| Bari : Laterza, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci
| Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Bari : F.lli Laterza, 1992 |
| Descrizione fisica | 194 p. ; 24 cm |
| Soggetto topico | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000263089707536 |
|
Abrusci, Vito Michele
|
||
| Bari : F.lli Laterza, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Vol. 1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco
| Vol. 1: Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora de Falco |
| Autore | Abrusci, Vito Michele |
| Pubbl/distr/stampa | Milano [etc.], : Springer, 2014 |
| Descrizione fisica | IX, 182 p. ; 24 cm |
| Altri autori (Persone) | Tortora de Falco, Lorenzo |
| Collana | Unitext |
| ISBN |
978-88-470-5537-7
978-88-470-5538-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910619398403321 |
|
Abrusci, Vito Michele
|
||
| Milano [etc.], : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
