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.
Corso di logica / Dario Palladino : introduzione elementare al calcolo dei predicati
| Corso di logica / Dario Palladino : introduzione elementare al calcolo dei predicati |
| Autore | Palladino, Dario |
| Pubbl/distr/stampa | Roma : Carocci, c2002 |
| Descrizione fisica | 311 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Manuali universitari. 4 |
| Soggetto non controllato |
Informatica
Logica matematica |
| ISBN | 88-430-2312-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990007967940403321 |
Palladino, Dario
|
||
| Roma : Carocci, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cos'e la logica matematica : filosofia della logica / Gabriele Lolli
| Cos'e la logica matematica : filosofia della logica / Gabriele Lolli |
| Autore | LOLLI, Gabriele |
| Pubbl/distr/stampa | Padova : Franco Muzzio, 1992 |
| Descrizione fisica | VI, 161 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Muzzio scienze |
| Soggetto non controllato | Logica matematica |
| ISBN | 88-7021-612-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Altri titoli varianti | filosofia della logica |
| Record Nr. | UNISA-990000842640203316 |
|
LOLLI, Gabriele
|
||
| Padova : Franco Muzzio, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Descriptive set theory / Yiannis N. Moschovakis
| Descriptive set theory / Yiannis N. Moschovakis |
| Autore | Moschovakis, Yiannis N. |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | Providence : American Mathematical society, c2009 |
| Descrizione fisica | XIV, 502 p. : ill. ; 26 cm |
| Disciplina | 511.3 |
| Collana | Mathematical surveys and monographs |
| Soggetto non controllato |
Teoria descrittiva degli insiemi
Logica matematica Principi di determinatezza |
| ISBN | 978-0-8218-4813-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009096820403321 |
|
Moschovakis, Yiannis N.
|
||
| Providence : American Mathematical society, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dimostrazioni e confutazioni : la logica della scoperta matematica / Imre Lakatos ; a cura di John Worrall e Elie Zahar ; introduzione all'edizione italiana di Giulio Giorello ; traduzione dall'inglese di Daniela Benelli
| Dimostrazioni e confutazioni : la logica della scoperta matematica / Imre Lakatos ; a cura di John Worrall e Elie Zahar ; introduzione all'edizione italiana di Giulio Giorello ; traduzione dall'inglese di Daniela Benelli |
| Autore | Lakatos, Imre |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1979 |
| Descrizione fisica | 530 p. : ill. ; 23 cm |
| Disciplina | 501 |
| Collana | Filosofia della scienza |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000015779 |
|
Lakatos, Imre
|
||
| Milano : Feltrinelli, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Divertimento geometrico : le origini geometriche della logica da Euclide a Hilbert / Piergiorgio Odifreddi
| Divertimento geometrico : le origini geometriche della logica da Euclide a Hilbert / Piergiorgio Odifreddi |
| Autore | Odifreddi, Piergiorgio <1950- > |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, ©2003 |
| Descrizione fisica | 271 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Nuova didattica, Scienze |
| Soggetto non controllato | Logica matematica |
| ISBN | 88-339-5714-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009097650403321 |
|
Odifreddi, Piergiorgio <1950- >
|
||
| Torino : Bollati Boringhieri, ©2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DNA Computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa
| DNA Computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa |
| Autore | Paun, Gheorghe |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1998 |
| Descrizione fisica | IX, 402 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Texts in Theoretical Computer Science |
| Soggetto non controllato |
Cibernetica
Logica matematica Logica simbolica Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-64196-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001483350403321 |
| Paun, Gheorghe | ||
| Berlin [etc.] : Springer, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elementary induction on abstract structures / Yiannis N. Moschovakis
| Elementary induction on abstract structures / Yiannis N. Moschovakis |
| Autore | Moskobaches, Nikolaos Giannes |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1974 |
| Descrizione fisica | X, 218 p. ; 23 cm |
| Disciplina | 511.2 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 0-7204-2280-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018853 |
|
Moskobaches, Nikolaos Giannes
|
||
| Amsterdam : North-Holland, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Elementi di logica : con gli esercizi risolti / E. J. Lemmon ; a cura di Fabrizio Funtò e Massimo Prampolini
| Elementi di logica : con gli esercizi risolti / E. J. Lemmon ; a cura di Fabrizio Funtò e Massimo Prampolini |
| Autore | Lemmon, Edward John |
| Pubbl/distr/stampa | Bari : Laterza, c1986 |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001231670403321 |
|
Lemmon, Edward John
|
||
| Bari : Laterza, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elementi di logica / E. J. Lemmon
| Elementi di logica / E. J. Lemmon |
| Autore | Lemmon, Edward J. |
| Pubbl/distr/stampa | Roma : Laterza, 1975 |
| Descrizione fisica | XI, 254 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Biblioteca di cultura moderna |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018839 |
|
Lemmon, Edward J.
|
||
| Roma : Laterza, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Elementi di logica matematica / Bruno D'Amore
| Elementi di logica matematica / Bruno D'Amore |
| Autore | D'Amore, Bruno <1946- > |
| Pubbl/distr/stampa | Bologna : Pitagora, [1975] |
| Descrizione fisica | 97 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001498030403321 |
|
D'Amore, Bruno <1946- >
|
||
| Bologna : Pitagora, [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
