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.] |
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.] |
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.] |
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 |
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 |
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 |
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 |
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 |
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 | ||
|