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.
Lezioni di logica matematica / Gabriele Lolli
| Lezioni di logica matematica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1978 |
| Descrizione fisica | 203 p. : ill. ; 21 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 978-88-339-5259-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0036209 |
Lolli, Gabriele
|
||
| Torino, : Boringhieri, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lezioni di logica matematica / Gabriele Lolli
| Lezioni di logica matematica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, [1978] |
| Descrizione fisica | 199 p. ; 21 cm. |
| Disciplina | 511.3 |
| Collana | Lezioni e seminari |
| Soggetto topico | Mathematical logic and foundations |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001077189707536 |
|
Lolli, Gabriele
|
||
| Torino : Boringhieri, [1978] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Lezioni di logica matematica / Gabriele Lolli
| Lezioni di logica matematica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, 1978 |
| Descrizione fisica | 203 p. ; 20 cm. |
| Disciplina | 511.3 |
| Collana | Lezioni e seminari |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003509949707536 |
|
Lolli, Gabriele
|
||
| Torino : Boringhieri, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic colloquium '82 : proceedings of the colloquium held in Florence : 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja
| Logic colloquium '82 : proceedings of the colloquium held in Florence : 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1984 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001203440403321 |
| Amsterdam [etc.] : North-Holland, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic in the 20th century : a series of papers on the present state and tendencies of studies / Maria Luisa Dalla Chiara, George Epstein, Petr Hajek, Tomas Havranek, David G. Holdsworth, Clifford A. Hooker, Gabriele Lollo, Ilkka Niiniluoto
| Logic in the 20th century : a series of papers on the present state and tendencies of studies / Maria Luisa Dalla Chiara, George Epstein, Petr Hajek, Tomas Havranek, David G. Holdsworth, Clifford A. Hooker, Gabriele Lollo, Ilkka Niiniluoto |
| Pubbl/distr/stampa | Milano : Scientia, 1983 |
| Disciplina | 515 |
| Soggetto non controllato |
Statistica
Matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003971130403321 |
| Milano : Scientia, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica matematica / Cesare Burali-Forti ; a cura e con una introduzione di Gabriele Lolli
| Logica matematica / Cesare Burali-Forti ; a cura e con una introduzione di Gabriele Lolli |
| Autore | Burali Forti, Cesare |
| Pubbl/distr/stampa | Pisa : Edizioni della Normale, 2012 |
| Descrizione fisica | lxiii, 373 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Lolli, Gabriele |
| Collana | Mathematica ; 4 |
| ISBN | 9788876423918 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002054829707536 |
|
Burali Forti, Cesare
|
||
| Pisa : Edizioni della Normale, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli
| La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Bologna : Il mulino, 1987 |
| Descrizione fisica | 155 p. ; 22 cm. |
| Disciplina | 511 |
| Collana | Saggi [Il Mulino] ; 311 |
| Soggetto topico |
Calcolo
Logica matematica |
| ISBN | 8815012567 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003597719707536 |
|
Lolli, Gabriele
|
||
| Bologna : Il mulino, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli
| La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Soggetto topico |
Informatica e linguaggio
Logica |
| ISBN | 8815012567 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003407579707536 |
|
Lolli, Gabriele
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Matematica come narrazione / Gabriele Lolli
| Matematica come narrazione / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Bologna, : Il mulino, c2018 |
| Descrizione fisica | 216 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Intersezioni |
| Soggetto non controllato | Matematica - Dimostrazione |
| ISBN | 978-88-15-27422-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910594469003321 |
|
Lolli, Gabriele
|
||
| Bologna, : Il mulino, c2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
QED : fenomenologia della dimostrazione / Gabriele Lolli
| QED : fenomenologia della dimostrazione / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 2005 |
| Descrizione fisica | 182 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Saggi. Scienze |
| Soggetto topico | Logica matematica |
| ISBN | 8833915883 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001177489707536 |
|
Lolli, Gabriele
|
||
| Torino : Bollati Boringhieri, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
