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 e teorie formalizzate : completezza, incompletezza, indecidibilità / Dario Palladino
| Logica e teorie formalizzate : completezza, incompletezza, indecidibilità / Dario Palladino |
| Autore | Palladino, Dario |
| Pubbl/distr/stampa | Roma : Carocci, 2004 |
| Descrizione fisica | 202 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Università ; 487 |
| Soggetto topico |
Logic
Logic, Symbolic and mathematical |
| ISBN | 8843029002 (pbk.) |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001629159707536 |
Palladino, Dario
|
||
| Roma : Carocci, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logica matematica e logica filosofica / Evandro Agazzi ... [et al.] ; a cura di Evandro Agazzi
| Logica matematica e logica filosofica / Evandro Agazzi ... [et al.] ; a cura di Evandro Agazzi |
| Autore | Agazzi, Evandro |
| Pubbl/distr/stampa | Brescia : La Scuola, 1990 |
| Descrizione fisica | 134, (10) p. ; 21 cm. |
| Altri autori (Persone) |
Borga, Marco
Franchini, Raffaello Freguglia, Paolo Galvan, Sergio Mignucci, Mario Palladino, Dario Pozzi, Lorenzo |
| Collana | Secondaria superiore/Saggi |
| Soggetto topico |
Logica - Saggi
Logica matematica - Saggi |
| ISBN | 8835083814 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003566329707536 |
|
Agazzi, Evandro
|
||
| Brescia : La Scuola, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logiche e teorie formalizzate : completezza, incompletezza, indecidibilità / Dario Palladino
| Logiche e teorie formalizzate : completezza, incompletezza, indecidibilità / Dario Palladino |
| Autore | Palladino, Dario |
| Pubbl/distr/stampa | Roma : Carocci, c2004 |
| Descrizione fisica | 202 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Università, Filosofia |
| Soggetto non controllato |
Informatica
Logica matematica Logica del secondo ordine |
| ISBN | 88-430-2900-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990007968000403321 |
|
Palladino, Dario
|
||
| Roma : Carocci, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logiche non classiche : un'introduzione / Dario Palladino, Claudia Palladino
| Logiche non classiche : un'introduzione / Dario Palladino, Claudia Palladino |
| Autore | Palladino, Dario |
| Edizione | [3. ristampa] |
| Pubbl/distr/stampa | Roma : Carocci, 2010 |
| Descrizione fisica | 186 p. ; 22 cm |
| Disciplina | 160 |
| Altri autori (Persone) | Palladino, Claudia |
| Collana | Quality paperbacks |
| Soggetto non controllato | Logica - Saggi |
| ISBN | 978-88-430-4002-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009519030403321 |
|
Palladino, Dario
|
||
| Roma : Carocci, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Oltre il mito della crisi : fondamenti e filosofia della matematica nel XX secolo / Marco Borga, Dario Palladino
| Oltre il mito della crisi : fondamenti e filosofia della matematica nel XX secolo / Marco Borga, Dario Palladino |
| Autore | Borga, Marco |
| Pubbl/distr/stampa | Brescia : La Scuola, c1997 |
| Descrizione fisica | 281 p. ; 22 cm |
| Altri autori (Persone) | Palladino, Dario |
| Collana | Secondaria Superiore, Saggi |
| Soggetto non controllato | Storia della matematica |
| ISBN | 88-350-9320-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001480540403321 |
|
Borga, Marco
|
||
| Brescia : La Scuola, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Probabilità e statistica / Open University ; trad. di Dario Palladino
| Probabilità e statistica / Open University ; trad. di Dario Palladino |
| Autore | Open University |
| Edizione | [2a ed.] |
| Pubbl/distr/stampa | Milano : Mondadori, 1978 |
| Descrizione fisica | 177 p. ; 21 cm. |
| Altri autori (Persone) | Palladino, Dario |
| Soggetto topico |
Probabilità
Statistica |
| Classificazione |
510(022:076)
510.60 510.62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001170349707536 |
|
Open University
|
||
| Milano : Mondadori, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Rassegna di matematica : logica matematica, matematica applicata, didattica della matematica / a cura di Marco Borga, Paolo Freguglia, Dario Palladino
| Rassegna di matematica : logica matematica, matematica applicata, didattica della matematica / a cura di Marco Borga, Paolo Freguglia, Dario Palladino |
| Pubbl/distr/stampa | Genova : Tilgher, 1980 |
| Descrizione fisica | 100 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000964600403321 |
| Genova : Tilgher, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
