top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Exercices de calcul booléien avec leurs solutions / par Maurice Denis-Papin, Yves Malgrange
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
Opac: Controlla la disponibilità qui
Functions and generality of logic [[electronic resource] ] : reflections on Dedekind's and Frege's logicisms / / by Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Handbook of boolean algebra / edited by J. Donald Monk, with the cooperation of Robert Bonnet
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
Opac: Controlla la disponibilità qui
Handbook of boolean algebras / ed. J. Donald Monk; with cooperation of Robert Bonnet
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
Opac: Controlla la disponibilità qui
Hausdorff gaps and limits / R. Frankiewicz, P. Zbierski
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
Opac: Controlla la disponibilità qui
Incline algebra and applications / Z.-Q. Cao, K. H. Kim, F. W. Roush
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
Opac: Controlla la disponibilità qui
Introduction to Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 1 / / by Steven Givant
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
Opac: Controlla la disponibilità qui
L' algebra di Boole e i circuiti logici / Cianflone Franco
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
Opac: Controlla la disponibilità qui
L'algebra della logica : un profilo storico / Paolo Freguglia
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
Opac: Controlla la disponibilità qui