Algebra di Boole e circuiti di commutazione / Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | Milano : ETAS libri, 1974 |
Descrizione fisica | 212 p. ; 27 cm |
Disciplina | 511.324 |
Collana | Collana Schaum |
Soggetto topico | Boolean algebra |
Classificazione | AMS 06E |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000652949707536 |
Mendelson, Elliott | ||
Milano : ETAS libri, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1976 |
Descrizione fisica | x, 245 p. ; 23 cm. |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 85 |
Soggetto topico |
Algebraic logic
Boolean algebra Probabilities |
ISBN | 0444110372 |
Classificazione | AMS 03B48 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000720629707536 |
Hailperin, Theodore | ||
Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Boolean function complexity / edited by M. S. Paterson |
Autore | Paterson, Michael S. |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1992 |
Descrizione fisica | 201 p. : ill. ; 23 cm |
Disciplina | 519.4 |
Collana | London Mathematical Society lecture note series, 0076-0552 ; 169 |
Soggetto topico |
Boolean algebra
Computational complexity - Congresses |
ISBN | 0521408261 |
Classificazione | AMS 68-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000720779707536 |
Paterson, Michael S. | ||
Cambridge : Cambridge University Press, 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Boolean functions and equations / Sergiu Rudeanu |
Autore | Rudeanu, Sergiu |
Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : American Elsevier, 1974 |
Descrizione fisica | xix, 442 p. ; 24 cm. |
Disciplina | 511.324 |
Soggetto topico |
Boolean algebra
Switching theory |
ISBN | 0444105204 |
Classificazione | AMS 06E30 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000720849707536 |
Rudeanu, Sergiu | ||
Amsterdam : North-Holland ; New York : American Elsevier, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Boolean-valued models and independence proofs in set theory / by J. L. Bell |
Autore | Bell, John L. |
Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
Descrizione fisica | xviii, 126 p. ; 24 cm. |
Disciplina | 511.32 |
Collana | Oxford logic guides |
Soggetto topico |
Axiomatic set theory
Boolean algebra Induction Model theory |
ISBN | 0198531680 |
Classificazione | AMS 03E |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000720899707536 |
Bell, John L. | ||
Oxford : Clarendon Press, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Cardinal invariants on Boolean algebras / J. Donald Monk |
Autore | Monk, James Donald |
Pubbl/distr/stampa | Basel ; Boston ; Berlin : Birkhauser, c1996 |
Descrizione fisica | ix, 298 p. ; 24 cm |
Disciplina | 511.324 |
Collana | Progress in mathematics [Birkhauser], ISSN 0743-1643; 142 |
Soggetto topico |
Boolean algebra
Cardinal numbers Functions |
ISBN | 376435402X (alk. paper) |
Classificazione |
AMS 03E10
AMS 03G05 AMS 04A10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000732749707536 |
Monk, James Donald | ||
Basel ; Boston ; Berlin : Birkhauser, c1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Exercices de calcul booléien avec leurs solutions / par Maurice Denis-Papin, Yves Malgrange |
Autore | Denis-Papin, Maurice |
Pubbl/distr/stampa | Paris : Editions Eyrolles, 1966 |
Descrizione fisica | 298 p. ; 24 cm. |
Disciplina | 511.324 |
Altri autori (Persone) | Malgrange, Yvesauthor |
Soggetto topico | Boolean algebra |
Classificazione | AMS 06E |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNISALENTO-991000881179707536 |
Denis-Papin, Maurice | ||
Paris : Editions Eyrolles, 1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Nearly projective Boolean algebras / Lutz Heindorf, Leonid B. Shapiro ; with an appendix by Sakaé Fuchino |
Autore | Heindorf, Lutz |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1994 |
Descrizione fisica | x, 202 p. : ill. ; 24 cm. |
Disciplina | 511.324 |
Altri autori (Persone) | Shapiro, Leonid B. |
Collana | Lecture notes in mathematics, 0075-8434 ; 1596 |
Soggetto topico | Boolean algebra |
ISBN | 354058787X |
Classificazione | AMS 06E05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001164569707536 |
Heindorf, Lutz | ||
Berlin : Springer-Verlag, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Pseudo-Boolean methods for bivalent programming / P. L. Ivanescu, S. Rudeanu |
Autore | Ivanescu, Petru L. |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1966 |
Descrizione fisica | 120 p. ; 28 cm |
Disciplina | 519.7 |
Altri autori (Persone) | Rudeanu, Sergiu |
Altri autori (Enti) |
Econometric Institute Institute of Management Sciences |
Collana | Lecture notes in mathematics, 0075-8434 ; 23 |
Soggetto topico |
Boolean algebra
Programming |
Classificazione | AMS 90C09 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001272059707536 |
Ivanescu, Petru L. | ||
Berlin ; New York : Springer-Verlag, 1966 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Pseudo-Boolean programming and applications : [lectures] presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964 / Petru L. Ivanescu |
Autore | Ivanescu, Petru L. |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1965 |
Descrizione fisica | 50 p. ; 30 cm. |
Disciplina | 519.7 |
Collana | Lecture notes in mathematics, 0075-8434 ; 9 |
Soggetto topico |
Boolean algebra
Programming |
Classificazione | AMS 90C06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001272139707536 |
Ivanescu, Petru L. | ||
Berlin ; New York : Springer-Verlag, 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|