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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|