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.
Algebraic logic / Halmos Paul R.
Algebraic logic / Halmos Paul R.
Autore HALMOS, Paul R.
Pubbl/distr/stampa New York : Chelsea Publ. Co., 1962
Descrizione fisica 271 p. ; 23 cm
Disciplina 511.3
Soggetto topico Logica simbolica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003222940203316
HALMOS, Paul R.  
New York : Chelsea Publ. Co., 1962
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic methods of mathematical logic / Rieger Ladislav ; Translated by Michal Basch
Algebraic methods of mathematical logic / Rieger Ladislav ; Translated by Michal Basch
Autore RIEGER, Ladislav
Pubbl/distr/stampa Prague : Academia, 1967
Descrizione fisica 210 p. ; 24 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003226320203316
RIEGER, Ladislav  
Prague : Academia, 1967
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic perspectives on substructural logics / / Davide Fazio, Antonio Ledda, Francesco Paoli, editors
Algebraic perspectives on substructural logics / / Davide Fazio, Antonio Ledda, Francesco Paoli, editors
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (X, 193 p. 25 illus.)
Disciplina 511.3
Collana Trends in logic
Soggetto topico Logic, Symbolic and mathematical
Algebra, Abstract
ISBN 3-030-52163-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan).
Record Nr. UNINA-9910483349103321
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebraic semantics
Algebraic semantics
Autore GUESSARIAN, Irene
Pubbl/distr/stampa Berlin : Springer Verlag, 1981
Descrizione fisica VIII, 158 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000350180203316
GUESSARIAN, Irene  
Berlin : Springer Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic set theory / A. Joyal, I. Moerdijk
Algebraic set theory / A. Joyal, I. Moerdijk
Autore Joyal, André
Pubbl/distr/stampa Cambridge ; New York : Cambridge University Press, 1995
Descrizione fisica viii, 123 p. ; 23 cm
Disciplina 511.3
Altri autori (Persone) Moerdijk, Ieke
Collana London Mathematical Society lecture note series, 0076-0552 ; 220
Soggetto topico Set theory
ISBN 0521558301
Classificazione AMS 03C90
AMS 03E70
AMS 03F55
AMS 03G25
QA248.J69
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000661769707536
Joyal, André  
Cambridge ; New York : Cambridge University Press, 1995
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Algebraic systems : with 25 figures / translated from the russian by B.D. Seckler and A.P. Doohovskoy
Algebraic systems : with 25 figures / translated from the russian by B.D. Seckler and A.P. Doohovskoy
Autore MAL'CEV, A.I.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1973
Descrizione fisica XII, 317 p. : fig. ; 24 cm
Disciplina 511.3
Collana Die grundlehren der mathematischen wissenschaften
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000637770203316
MAL'CEV, A.I.  
Berlin : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
Autore Mal'cev, Arkadii A.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1973
Descrizione fisica xii, 317 p. : ill. ; 24 cm.
Disciplina 511.3
Collana Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 192
Soggetto topico Abstract algebra
Model theory
Quasivarieties
Symbolic logic
Varieties
ISBN 3540057927
Classificazione AMS 03C
AMS 08B
AMS 08C15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000662539707536
Mal'cev, Arkadii A.  
Berlin ; New York : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Algebraic theory of automata and languages [[electronic resource] /] / Masami Ito
Algebraic theory of automata and languages [[electronic resource] /] / Masami Ito
Autore Itō Masami <1941->
Pubbl/distr/stampa River Edge, N.J., : World Scientific, 2004
Descrizione fisica 1 online resource (210 p.)
Disciplina 511.3
Soggetto topico Formal languages
Machine theory
Soggetto genere / forma Electronic books.
ISBN 1-281-87255-5
9786611872557
981-256-268-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algebraic Theory of Automata and Languages; Preface; Contents; 0 Introduction; 1 Group-Matrix Type Automata; 2 General Automata; 3 Classes of Automata as Posets; 4 Languages and Operations; 5 Shuffle Closed Languages; 6 Insertions and Deletions; 7 Shuffles and Scattered Deletions; 8 Directable Automata; Bibliography; Index
Record Nr. UNINA-9910450123003321
Itō Masami <1941->  
River Edge, N.J., : World Scientific, 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebraic theory of automata and languages [[electronic resource] /] / Masami Ito
Algebraic theory of automata and languages [[electronic resource] /] / Masami Ito
Autore Itō Masami <1941->
Pubbl/distr/stampa River Edge, N.J., : World Scientific, 2004
Descrizione fisica 1 online resource (210 p.)
Disciplina 511.3
Soggetto topico Formal languages
Machine theory
ISBN 1-281-87255-5
9786611872557
981-256-268-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algebraic Theory of Automata and Languages; Preface; Contents; 0 Introduction; 1 Group-Matrix Type Automata; 2 General Automata; 3 Classes of Automata as Posets; 4 Languages and Operations; 5 Shuffle Closed Languages; 6 Insertions and Deletions; 7 Shuffles and Scattered Deletions; 8 Directable Automata; Bibliography; Index
Record Nr. UNINA-9910783224303321
Itō Masami <1941->  
River Edge, N.J., : World Scientific, 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebraic theory of automata and languages [[electronic resource] /] / Masami Ito
Algebraic theory of automata and languages [[electronic resource] /] / Masami Ito
Autore Itō Masami <1941->
Pubbl/distr/stampa River Edge, N.J., : World Scientific, 2004
Descrizione fisica 1 online resource (210 p.)
Disciplina 511.3
Soggetto topico Formal languages
Machine theory
ISBN 1-281-87255-5
9786611872557
981-256-268-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algebraic Theory of Automata and Languages; Preface; Contents; 0 Introduction; 1 Group-Matrix Type Automata; 2 General Automata; 3 Classes of Automata as Posets; 4 Languages and Operations; 5 Shuffle Closed Languages; 6 Insertions and Deletions; 7 Shuffles and Scattered Deletions; 8 Directable Automata; Bibliography; Index
Record Nr. UNINA-9910808921703321
Itō Masami <1941->  
River Edge, N.J., : World Scientific, 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...