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 : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin
| Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin |
| Autore | Manca, Vincenzo |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 2001 |
| Descrizione fisica | 200 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Nuova didattica, Scienze |
| Soggetto non controllato | Logica matematica |
| ISBN | 88-339-5656-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001506010403321 |
Manca, Vincenzo
|
||
| Torino : Bollati Boringhieri, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica matematica / Joseph R. Shoenfield
| Logica matematica / Joseph R. Shoenfield |
| Pubbl/distr/stampa | Torino : Boringhieri, 1980 |
| Descrizione fisica | 380 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018849 |
| Torino : Boringhieri, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Logica, pensiero e linguaggio : i fondamenti dell'aritmetica e altri scritti / Gottlob Frege ; a cura di Carlo Penco ed Eva Picardi
| Logica, pensiero e linguaggio : i fondamenti dell'aritmetica e altri scritti / Gottlob Frege ; a cura di Carlo Penco ed Eva Picardi |
| Autore | Frege, Gottlob |
| Pubbl/distr/stampa | Bari ; Roma, : Laterza, 2019 |
| Descrizione fisica | XXI, 354 p. ; 21 cm |
| Disciplina |
511.3
160 |
| Collana | Biblioteca universale Laterza |
| Soggetto non controllato | Logica matematica |
| ISBN | 978-88-581-2776-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910468357903321 |
|
Frege, Gottlob
|
||
| Bari ; Roma, : Laterza, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical structures for representation of knowledge and uncertainty / Ellen Hisdal
| Logical structures for representation of knowledge and uncertainty / Ellen Hisdal |
| Autore | HISDAL, Ellen |
| Pubbl/distr/stampa | Heidelberg : Physica-Verlag, c1998 |
| Descrizione fisica | XXII, 419 p. : ill. ; 24 cm |
| Disciplina | 006.33 |
| Soggetto non controllato |
Teoria dell'informazione
Logica matematica Sistemi esperti |
| ISBN | 3-7908-1056-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000334730203316 |
|
HISDAL, Ellen
|
||
| Heidelberg : Physica-Verlag, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Logistica / Michele Malatesta
| Logistica / Michele Malatesta |
| Autore | Malatesta, Michele |
| Pubbl/distr/stampa | Napoli, : Libreria L'Ateneo, 1976 |
| Descrizione fisica | 2 v. ; 21 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1.: Introduzione. La logica degli enunciati 2.: Le tautologie. L'interpretazione dei funtori |
| Record Nr. | UNINA-990003759270403321 |
|
Malatesta, Michele
|
||
| Napoli, : Libreria L'Ateneo, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Many-valued logics / Barkley J. Rosser , Atwell R. Turquette
| Many-valued logics / Barkley J. Rosser , Atwell R. Turquette |
| Autore | Rosser, John Barkley <1907-1989> |
| Pubbl/distr/stampa | Amsterdam : North Holland publishing company, 1952 |
| Descrizione fisica | 124 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Matematica - Logica
Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000022190403321 |
| Rosser, John Barkley <1907-1989> | ||
| Amsterdam : North Holland publishing company, 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metamathematics of first-order arithmetic / Petr Hajek, Pavel Pudlak
| Metamathematics of first-order arithmetic / Petr Hajek, Pavel Pudlak |
| Autore | Hajek, Petr |
| Edizione | [Second printing] |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1998 |
| Descrizione fisica | xiv, 460 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic |
| Soggetto non controllato |
Logica matematica
Aritmetica del i ordine Complessita di computabilita Classi di complessita Teoria dei modelli Aritmetica non standard |
| ISBN | 3-540-63648-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001176540403321 |
|
Hajek, Petr
|
||
| Berlin [etc.] : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metamathematics of fuzzy logic / Petr Hajek
| Metamathematics of fuzzy logic / Petr Hajek |
| Autore | Hajek, Petr |
| Pubbl/distr/stampa | Dordrecht [etc.] : Kluwer AcademicPublishers, copyr. 1998 |
| Descrizione fisica | VIII, 297 p. : ill. ; 24 cm - (Trends in logic ; 4) |
| Disciplina | 511.32 |
| Soggetto non controllato |
Insiemi
Logica matematica |
| ISBN | 0-7923-5238-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000259920203316 |
|
Hajek, Petr
|
||
| Dordrecht [etc.] : Kluwer AcademicPublishers, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
| Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema |
| Autore | Blackburn, Patrick |
| Pubbl/distr/stampa | Cambridge [England] ; New York : Cambridge University Press, c2001 |
| Descrizione fisica | XXII, 554 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
de Rijke, Maarten
Venema, Yde |
| Collana | Cambridge tracts in theoretical computer science |
| Soggetto non controllato | Logica matematica |
| ISBN |
978-0-521-52714-9
978-0-521-80200-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008722660403321 |
|
Blackburn, Patrick
|
||
| Cambridge [England] ; New York : Cambridge University Press, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
