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.
Elementi di logica matematica / Corrado Mangione
| Elementi di logica matematica / Corrado Mangione |
| Autore | Mangione, Corrado <1930-2009> |
| Pubbl/distr/stampa | Torino : Boringhieri, ©1964 |
| Descrizione fisica | 127 p. ; 21 cm |
| Disciplina |
164
511.3 160 |
| Collana | Serie di ricerca operativa |
| Soggetto non controllato |
Logica matematica
Logica e fondamenti Logica Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000645160403321 |
Mangione, Corrado <1930-2009>
|
||
| Torino : Boringhieri, ©1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elementi di logica matematica / Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; prefazione di Carlo Cellucci
| Elementi di logica matematica / Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; prefazione di Carlo Cellucci |
| Autore | Novikov, Petr Sergeevic |
| Pubbl/distr/stampa | Roma : Editori riuniti, 1975 |
| Descrizione fisica | XXX, 312 p. ; 22 cm |
| Disciplina |
511.3
510.3 |
| Collana | Nuova biblioteca di cultura, Serie scientifica |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000012035 |
|
Novikov, Petr Sergeevic
|
||
| Roma : Editori riuniti, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Elements of set theory / Herbert B. Enderton
| Elements of set theory / Herbert B. Enderton |
| Autore | Enderton, Herbert B. |
| Pubbl/distr/stampa | New York [etc.] : Academic press, 1977c |
| Descrizione fisica | XIV, 279 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| ISBN | 0-12-238440-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000001381 |
|
Enderton, Herbert B.
|
||
| New York [etc.] : Academic press, 1977c | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Elements of set theory / H. B. Enderton
| Elements of set theory / H. B. Enderton |
| Autore | Enderton, Herbert B. |
| Pubbl/distr/stampa | New York [etc.] : Academic Press, 1977 |
| Descrizione fisica | XIV, 279 p. ; 24 cm |
| Soggetto non controllato |
Teoria degli insiemi - Manuali
Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001245230403321 |
|
Enderton, Herbert B.
|
||
| New York [etc.] : Academic Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Epistémologie mathématique et psychologie : essai sur les relations entre la logique formelle et la pensée réelle / par Evert W. Beth et Jean Piaget
| Epistémologie mathématique et psychologie : essai sur les relations entre la logique formelle et la pensée réelle / par Evert W. Beth et Jean Piaget |
| Autore | Beth, Evert Willem |
| Pubbl/distr/stampa | Paris : Presses Universitaires de France, 1961 |
| Descrizione fisica | 352 p. ; 23 cm |
| Disciplina | 153.43 |
| Altri autori (Persone) | Piaget, Jean |
| Collana | Bibliothèque scientifique internationale, Études d'épistémologie génétique |
| Soggetto non controllato |
Logica matematica
Epistemologia Logica formale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990009800390403321 |
|
Beth, Evert Willem
|
||
| Paris : Presses Universitaires de France, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Epistémologie mathématique et psychologie : Essai sur les relations entre la logique formelle et la pensée réelle / par Evert W. Beth et Jean Piaget
| Epistémologie mathématique et psychologie : Essai sur les relations entre la logique formelle et la pensée réelle / par Evert W. Beth et Jean Piaget |
| Pubbl/distr/stampa | Nendeln : Kraus Reprint, 1974 |
| Descrizione fisica | 352 p. ; 22 cm |
| Disciplina | 153.43 |
| Collana | Bibliothèque scientifique internationale, Études d'épistémologie génétique |
| Soggetto non controllato |
Logica matematica
Epistemologia Logica formale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990008527830403321 |
| Nendeln : Kraus Reprint, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin
| Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin |
| Autore | Rubin, Herman |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Amsterdan : North-Holland, 1970 |
| Descrizione fisica | XXIII, 134 p. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Rubin, Jean E. |
| Collana | Studies in logic and the foundation of mathematics |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018851 |
|
Rubin, Herman
|
||
| Amsterdan : North-Holland, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Esercizi di logica / Stefano Cavagnetto
| Esercizi di logica / Stefano Cavagnetto |
| Autore | Cavagnetto, Stefano |
| Pubbl/distr/stampa | Roma : Carocci, 2008 |
| Descrizione fisica | 144 p. ; 20 cm |
| Disciplina | 511.3 |
| Collana | Le bussole |
| Soggetto non controllato | Logica matematica |
| ISBN | 978-88-430-4646-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910221959803321 |
|
Cavagnetto, Stefano
|
||
| Roma : Carocci, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Explanatory translation : Beyond the Kuhnian model of conceptual change / V. Rantala
| Explanatory translation : Beyond the Kuhnian model of conceptual change / V. Rantala |
| Autore | Rantala, Veikko |
| Pubbl/distr/stampa | Dordrecht : Kluwer, c2002 |
| Descrizione fisica | xx, 307 p. ; 24 cm |
| Disciplina | 110 |
| Collana | Synthese library |
| Soggetto non controllato |
Logica matematica
Intelligenza artificiale |
| ISBN | 1402008279 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008331080403321 |
|
Rantala, Veikko
|
||
| Dordrecht : Kluwer, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Field-programmable logic and applications : the roadmap to reconfigurable computing : 10th International conference, FPL 2000 : Villach, Austria, August 27-30, 2000 : proceedings / Reiner W. Hartenstein ...<et al.>
| Field-programmable logic and applications : the roadmap to reconfigurable computing : 10th International conference, FPL 2000 : Villach, Austria, August 27-30, 2000 : proceedings / Reiner W. Hartenstein ...<et al.> |
| Autore | International conference FPL <10.; 2000; Villach, Austria> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | XVII, 856 p. : ill. ; 20 cm |
| Disciplina | 005.131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaborazione elettronica
Logica matematica Congressi |
| ISBN | 3-540-67899-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000332260203316 |
|
International conference FPL <10.; 2000; Villach, Austria>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
