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.
ALGEBRE de Boole et machines logiques / sous la direction de J. Kuntzmann, P.Naslin
| ALGEBRE de Boole et machines logiques / sous la direction de J. Kuntzmann, P.Naslin |
| Pubbl/distr/stampa | Paris : Dunod, 1967 |
| Disciplina | 511.324 |
| Collana | Bibliothèque de l'automaticien |
| Soggetto non controllato |
Algebra booleana
Logica algebrica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990001265220403321 |
| Paris : Dunod, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin
| Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin |
| Autore | Hailperin, Theodore |
| Edizione | [2nd ed., revised and enlarged] |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1986 |
| Disciplina | 512 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Algebre di boole
Logica algebrica Calcolo delle probabilita - Algebra |
| ISBN | 0-444-87952-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001297960403321 |
Hailperin, Theodore
|
||
| Amsterdam [etc.] : North-Holland, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin
| Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin |
| Autore | Hailperin, Theodore |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1976 |
| Disciplina | 512 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Algebre di boole
Logica algebrica Calcolo delle probabilita - Algebra |
| ISBN | 0-444-11037-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001297950403321 |
|
Hailperin, Theodore
|
||
| Amsterdam [etc.] : North-Holland, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cardinal invariants on boolean algebras / J. Donald Monk
| Cardinal invariants on boolean algebras / J. Donald Monk |
| Autore | Monk, J. Donald |
| Edizione | [2. Revised edition] |
| Pubbl/distr/stampa | Basel : Birkhäuser, 2014 |
| Descrizione fisica | VII, 573 p. ; 24 cm |
| Disciplina | 511.324 |
| Collana | Progress in mathematics |
| Soggetto non controllato |
Teoria degli insiemi
Logica algebrica Ordine, reticoli, strutture algebriche ordinate - Esposizione a livello avanzato Algebra booleana |
| ISBN | 9783034807296 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009961440403321 |
|
Monk, J. Donald
|
||
| Basel : Birkhäuser, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'algèbre de la logique / Louis Couturat
| L'algèbre de la logique / Louis Couturat |
| Autore | Couturat, Louis |
| Edizione | [2.e éd.] |
| Pubbl/distr/stampa | Paris : Blanchard, 1980 |
| Descrizione fisica | 100 p. ; 16 cm |
| Disciplina | 511.324 |
| Soggetto non controllato | Logica algebrica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000019012 |
|
Couturat, Louis
|
||
| Paris : Blanchard, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Realizability : an introduction to its categoricl side / Jaap van Oosten
| Realizability : an introduction to its categoricl side / Jaap van Oosten |
| Autore | Oosten, Jaap : van |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2008 |
| Descrizione fisica | XVI, 310 p. ; 24 cm |
| Disciplina | 511.33 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica categoriale
Logica algebrica |
| ISBN | 978-0-444-51584-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008820350403321 |
|
Oosten, Jaap : van
|
||
| Amsterdam : Elsevier, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rudiments of u-calculus / A. Arnold, D. Niwinski
| Rudiments of u-calculus / A. Arnold, D. Niwinski |
| Autore | Arnold, A. |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2001 |
| Descrizione fisica | xi, 277 p. ; cm24 |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica algebrica
Computer science - Matematica |
| ISBN | 0-444-50620-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001499970403321 |
| Arnold, A. | ||
| Amsterdam : Elsevier, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||