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.
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs / / edited by Ivo Düntsch, Edwin Mares
| Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs / / edited by Ivo Düntsch, Edwin Mares |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (591 pages) |
| Disciplina | 511.3 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico | Lattice theory |
| ISBN | 3-030-71430-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910522916803321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra universalis
| Algebra universalis |
| Pubbl/distr/stampa | Basel, : Birkhäuser Verlag |
| Disciplina | 512 |
| Soggetto topico |
Algebra, Universal
Lattice theory Algèbre universelle Treillis, Théorie des |
| ISSN | 1420-8911 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206395103316 |
| Basel, : Birkhäuser Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebra universalis
| Algebra universalis |
| Pubbl/distr/stampa | Basel, : Birkhäuser Verlag |
| Disciplina | 512 |
| Soggetto topico |
Algebra, Universal
Lattice theory Algèbre universelle Théorie des treillis Àlgebra universal Teoria dels reticles |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1420-8911 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910147264603321 |
| Basel, : Birkhäuser Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Area, lattice points, and exponential sums / M. N. Huxley
| Area, lattice points, and exponential sums / M. N. Huxley |
| Autore | Huxley, Martin Neil |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1996 |
| Descrizione fisica | xii, 494 p. ; 24 cm |
| Disciplina | 512.73 |
| Collana | London Mathematical Society monographs. New ser., 0076-0560 ; 13 |
| Soggetto topico |
Exponential sums
Lattice theory Zeta functions |
| ISBN | 0198534663 |
| Classificazione | AMS 11L03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000696579707536 |
Huxley, Martin Neil
|
||
| Oxford : Clarendon Press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak |
| Autore | Cholak Peter <1962-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1995 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursively enumerable sets
Automorphisms Lattice theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0120-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" |
| Record Nr. | UNINA-9910480747203321 |
|
Cholak Peter <1962->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak |
| Autore | Cholak Peter <1962-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1995 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursively enumerable sets
Automorphisms Lattice theory |
| ISBN | 1-4704-0120-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" |
| Record Nr. | UNINA-9910788756403321 |
|
Cholak Peter <1962->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak |
| Autore | Cholak Peter <1962-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1995 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursively enumerable sets
Automorphisms Lattice theory |
| ISBN | 1-4704-0120-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" |
| Record Nr. | UNINA-9910829051803321 |
|
Cholak Peter <1962->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axioms for lattices and boolean algebras [[electronic resource] /] / R. Padmanabhan, S. Rudeanu
| Axioms for lattices and boolean algebras [[electronic resource] /] / R. Padmanabhan, S. Rudeanu |
| Autore | Padmanabhan R (Ranganathan), <1938-> |
| Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2008 |
| Descrizione fisica | 1 online resource (228 p.) |
| Disciplina | 511.33 |
| Altri autori (Persone) | RudeanuSergiu |
| Soggetto topico |
Lattice theory
Algebra, Boolean Axioms |
| Soggetto genere / forma | Electronic books. |
| ISBN | 981-283-455-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems. |
| Record Nr. | UNINA-9910455550403321 |
|
Padmanabhan R (Ranganathan), <1938->
|
||
| Hackensack, NJ, : World Scientific, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axioms for lattices and boolean algebras [[electronic resource] /] / R. Padmanabhan, S. Rudeanu
| Axioms for lattices and boolean algebras [[electronic resource] /] / R. Padmanabhan, S. Rudeanu |
| Autore | Padmanabhan R (Ranganathan), <1938-> |
| Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2008 |
| Descrizione fisica | 1 online resource (228 p.) |
| Disciplina | 511.33 |
| Altri autori (Persone) | RudeanuSergiu |
| Soggetto topico |
Lattice theory
Algebra, Boolean Axioms |
| ISBN | 981-283-455-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems. |
| Record Nr. | UNINA-9910777941003321 |
|
Padmanabhan R (Ranganathan), <1938->
|
||
| Hackensack, NJ, : World Scientific, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Baer *-rings / Sterling K. Berberian
| Baer *-rings / Sterling K. Berberian |
| Autore | Berberian, Sterling K. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1972 |
| Descrizione fisica | xiii, 296 p. ; 24 cm. |
| Disciplina | 515.7 |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 195 |
| Soggetto topico |
Associative rings
C*-algebras Lattice theory Topological algebras Von Neumann algebras |
| ISBN | 354005751X |
| Classificazione |
AMS 16A34 (1985)
AMS 46H AMS 46L05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000710939707536 |
|
Berberian, Sterling K.
|
||
| Berlin ; New York : Springer-Verlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Lattice theory
(150)
- Categories (Mathematics) (9)
- Number theory (8)
- Algebra, Universal (7)
- Teoria dels reticles (7)