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.
Associativity and commutativity in logic: the case of extended-order algebras. Tesi di laurea / laureanda Maria Emilia Della Stella ; relat. Cosimo Guido
| Associativity and commutativity in logic: the case of extended-order algebras. Tesi di laurea / laureanda Maria Emilia Della Stella ; relat. Cosimo Guido |
| Autore | Della Stella, Maria Emilia |
| Pubbl/distr/stampa | Lecce : Università del Salento. Facoltà di Scienze MM. FF. NN. Corso di laurea Specialistica in Matematica, a.a. 2007-08 |
| Descrizione fisica | 92 p. ; 29 cm |
| Altri autori (Persone) | Guido, Cosimo |
| Classificazione |
AMS 03B53
AMS 03G25 AMS 06A06 AMS 06B05 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000284719707536 |
Della Stella, Maria Emilia
|
||
| Lecce : Università del Salento. Facoltà di Scienze MM. FF. NN. Corso di laurea Specialistica in Matematica, a.a. 2007-08 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.]
| Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier, 2007 |
| Descrizione fisica | xxi, 509 p. : ill. ; 24 cm |
| Disciplina | 511.33 |
| Altri autori (Persone) | Galatos, Nikolaosauthor |
| Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 151 |
| Soggetto topico |
Algebraic logic
Lattice theory |
| ISBN | 9780444521415 |
| Classificazione |
LC QA10.R47
AMS 03B47 AMS 03-02 AMS 06-02 AMS 06B05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000952959707536 |
| Amsterdam ; Boston : Elsevier, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Sistemi relazionali e algebre per la logica. Tesi di laurea / laureanda Laura Ruzittu ; relatrice Maria Maddalena Miccoli ; correlatore Cosimo Guido
| Sistemi relazionali e algebre per la logica. Tesi di laurea / laureanda Laura Ruzittu ; relatrice Maria Maddalena Miccoli ; correlatore Cosimo Guido |
| Autore | Ruzittu, Laura |
| Pubbl/distr/stampa | Lecce : Università del Salento. Facoltà di Scienze MM. FF. NN. Corso di Laurea Specialistica in Matematica, a.a. 2011-12 |
| Descrizione fisica | 147 p. ; 30 cm |
| Altri autori (Persone) |
Miccoli, Maria Maddalena
Guido, Cosimo |
| Soggetto topico | Algebraic logic |
| Classificazione |
AMS 03B53
AMS 03G25 AMS 06A06 AMS 06B05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001921319707536 |
|
Ruzittu, Laura
|
||
| Lecce : Università del Salento. Facoltà di Scienze MM. FF. NN. Corso di Laurea Specialistica in Matematica, a.a. 2011-12 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Universal algebra and lattice theory : proceedings of a conference held at Charleston, 11-14, 1984 / ed. Stephen D. Comer
| Universal algebra and lattice theory : proceedings of a conference held at Charleston, 11-14, 1984 / ed. Stephen D. Comer |
| Autore | Comer, Stephen D. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1985 |
| Descrizione fisica | vi, 282 p. : ill. ; 24 cm. |
| Disciplina | 512 |
| Collana |
Lecture notes in mathematics, 0075-8434 ; 1004
Lecture notes in mathematics, 0075-8434 ; 1149 |
| Soggetto topico |
Algebra - Congresses
Lattice theory - Congresses Universal algebra - Congresses |
| ISBN | 3540156917 |
| Classificazione |
AMS 06-06
AMS 06-XX AMS 06B AMS 06B05 AMS 06B20 AMS 06B25 AMS 06C05 AMS 06D AMS 08A AMS 08A05 AMS 08A35 AMS 08A50 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001468459707536 |
|
Comer, Stephen D.
|
||
| Berlin ; New York : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Universal algebra and lattice theory : proceedings of the fourth international conference, held at Puebla, Mexico, 1982 / edited by R. S. Freese and O. C. Garcia
| Universal algebra and lattice theory : proceedings of the fourth international conference, held at Puebla, Mexico, 1982 / edited by R. S. Freese and O. C. Garcia |
| Autore | Freese, Ralph S. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1983 |
| Descrizione fisica | vi, 308 p. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Garcia, O. C. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1004 |
| Soggetto topico |
Lattice theory - Congresses
Universal algebra - Congresses |
| ISBN | 3540123296 |
| Classificazione |
AMS 06B
AMS 06B05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001468559707536 |
|
Freese, Ralph S.
|
||
| Berlin : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||