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 | ||
|
Functions and generality of logic [[electronic resource] ] : reflections on Dedekind's and Frege's logicisms / / by Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu |
Autore | Benis-Sinaceur Hourya |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (145 p.) |
Disciplina | 511.324 |
Collana | Logic, Epistemology, and the Unity of Science |
Soggetto topico |
Logic
Mathematics History Philosophy and science History of Mathematical Sciences Philosophy of Science |
ISBN | 3-319-17109-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions; Marco Panza -- Chapter 3: Frege, Russell, Ramsey on arbitrary functions; Gabriel Sandu. |
Record Nr. | UNINA-9910484659703321 |
Benis-Sinaceur Hourya | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hajnal Andréka and István Németi on unity of science : from computing to relativity theory through algebraic logic / / editors, Judit Madrász and Gergely Székely |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (513 pages) |
Disciplina | 511.324 |
Collana | Outstanding contributions to logic |
Soggetto topico | Algebraic logic |
ISBN | 3-030-64187-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484273803321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of boolean algebra / edited by J. Donald Monk, with the cooperation of Robert Bonnet |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1989 |
Descrizione fisica | 3 v.(1367 p. compless.) ; 24 cm |
Disciplina |
511.324
511.3 511 |
Soggetto non controllato |
Algebra booleana
Insiemi e strutture algebriche Algebra Booleana Handbooks Insiemi Strutture algebriche |
ISBN |
044470261X
0444871527 0444871535 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001288670403321 |
Amsterdam [etc.] : North-Holland, 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of boolean algebras / ed. J. Donald Monk; with cooperation of Robert Bonnet |
Autore | Bonnet, Robert |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1989 |
Descrizione fisica | 3 v. ; 23 cm. |
Disciplina | 511.324 |
Altri autori (Persone) | Monk, James Donald |
Soggetto topico | Boolean algebras |
ISBN | 0444872914 (set) |
Classificazione |
AMS 03G05
AMS 06E QA10.3.H36 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000971869707536 |
Bonnet, Robert | ||
Amsterdam : North-Holland, 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Hausdorff gaps and limits / R. Frankiewicz, P. Zbierski |
Autore | Frankiewicz, R. |
Pubbl/distr/stampa | Amsterdam : North-Holland, c1994 |
Descrizione fisica | xiii, 300 p. ; 24 cm |
Disciplina | 511.324 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Compattificazioni
Algebra booleana |
ISBN | 0-444-89490-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001333320403321 |
Frankiewicz, R. | ||
Amsterdam : North-Holland, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Incline algebra and applications / Z.-Q. Cao, K. H. Kim, F. W. Roush |
Autore | Cao, Z.-Q |
Pubbl/distr/stampa | Chichester, West Sussex ; New York : E. Horwood, 1984 |
Descrizione fisica | xiii, 165 p. : ill. ; 24 cm. |
Disciplina | 511.324 |
Altri autori (Persone) |
Kim, Ki Hang
Roush, Fred William |
Collana | Ellis Horwood series in mathematics and its applications. Numerical analysis, statistics, and operational research |
Soggetto topico |
Boolean algebras
Linear algebras |
ISBN | 0853127654 |
Classificazione |
AMS 03E72
AMS 06E AMS 06E15 AMS 54A40 QA10.3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000992009707536 |
Cao, Z.-Q | ||
Chichester, West Sussex ; New York : E. Horwood, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduction to Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 1 / / by Steven Givant |
Autore | Givant Steven |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXXII, 572 p. 25 illus.) |
Disciplina | 511.324 |
Soggetto topico |
Mathematical logic
Algebra Mathematical Logic and Foundations General Algebraic Systems |
ISBN | 3-319-65235-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- 1. The calculus of relations -- 2. Relation algebras -- 3. Examples of relation algebras -- 4. Arithmetic -- 5. Special elements -- 6. Subalgebras -- 7. Homomorphisms -- 8. Ideals and quotients -- 9. Simple algebras -- 10. Relativizations -- 11. Direct products -- 12. Subdirect products -- 13. Minimal relation algebras -- References -- Index. |
Record Nr. | UNINA-9910254307103321 |
Givant Steven | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
L' algebra di Boole e i circuiti logici / Cianflone Franco |
Autore | CIANFLONE, Franco |
Pubbl/distr/stampa | Milano, : Etas Kompass, 1972 |
Descrizione fisica | 267 p. : ill. ; 23 cm |
Disciplina | 511.324 |
Collana | Biblioteca del tecnico |
Soggetto topico | Algebra booleana |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990003227990203316 |
CIANFLONE, Franco | ||
Milano, : Etas Kompass, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
L'algebra della logica : un profilo storico / Paolo Freguglia |
Autore | Freguglia, Paolo |
Pubbl/distr/stampa | Roma : Editori Riuniti, 1978 |
Descrizione fisica | X, 204 p. ; 22 cm |
Disciplina | 511.324 |
Collana | Nuova biblioteca di cultura |
Soggetto non controllato | Logica algebricaStoriaSec. 17.-20. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000019006 |
Freguglia, Paolo | ||
Roma : Editori Riuniti, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|