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.

Biblioteca

MARC Lista (tabellare)
A course in universal algebra / Stanley Burris, H.P. Sankappanavar
A course in universal algebra / Stanley Burris, H.P. Sankappanavar
Autore Burris, Stanley N.
Pubbl/distr/stampa New York, : Springer, 1981
Descrizione fisica XVI, 276 p : ill. ; 23 cm.
Altri autori (Persone) Sankappanavar, H. P.
Soggetto topico 08Axx - Algebraic structures [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
ISBN 03-87905-78-2
978-03-87905-78-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0029373
Burris, Stanley N.  
New York, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A course in universal algebra / Stanley Burris, H. P. Sankappanavar
A course in universal algebra / Stanley Burris, H. P. Sankappanavar
Autore Burris, Stanley N.
Pubbl/distr/stampa New York, : Springer, 1981
Descrizione fisica XVI, 276 p : ill. ; 23 cm
Altri autori (Persone) Sankappanavar, H. P.
Soggetto topico 08Axx - Algebraic structures [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
ISBN 03-87905-78-2
978-03-87905-78-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0029373
Burris, Stanley N.  
New York, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A course in universal algebra / Stanley Burris, H. P. Sankappanavar
A course in universal algebra / Stanley Burris, H. P. Sankappanavar
Autore Burris, Stanley N.
Pubbl/distr/stampa New York, : Springer, 1981
Descrizione fisica XVI, 276 p : ill. ; 23 cm
Altri autori (Persone) Sankappanavar, H. P.
Soggetto topico 03C05 - Equational classes, universal algebra in model theory [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
08Axx - Algebraic structures [MSC 2020]
ISBN 03-87905-78-2
978-03-87905-78-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00029373
Burris, Stanley N.  
New York, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A Proof Theory for General Unification / Wayne Snyder
A Proof Theory for General Unification / Wayne Snyder
Autore Snyder, Wayne
Pubbl/distr/stampa Boston, : Birkhäuser, : Springer, 1991
Descrizione fisica vii, 178 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B35 - Mechanization of proofs and logical operations [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
68-XX - Computer science [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
Soggetto non controllato Algebra
Logic
Proof Theory
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00287862
Snyder, Wayne  
Boston, : Birkhäuser, : Springer, 1991
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote
Autore NATO Advanced Study Institute on Algebraic Model Theory : 1996
Pubbl/distr/stampa Dordrecht, : Kluwer, 1997
Descrizione fisica XVII, 277 p. : ill. ; 25 cm
Soggetto topico 03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
ISBN 07-923466-6-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051840
NATO Advanced Study Institute on Algebraic Model Theory : 1996  
Dordrecht, : Kluwer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote
Autore NATO Advanced Study Institute on Algebraic Model Theory : 1996
Pubbl/distr/stampa Dordrecht, : Kluwer, 1997
Descrizione fisica XVII, 277 p. : ill. ; 25 cm
Soggetto topico 03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
ISBN 07-923466-6-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051840
NATO Advanced Study Institute on Algebraic Model Theory : 1996  
Dordrecht, : Kluwer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote
Algebraic model theory / [proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996] ; edited by Bradd T. Hart, Alistair H. Lachlan and Matthew A. Valeriote
Autore NATO Advanced Study Institute on Algebraic Model Theory : 1996
Edizione [Dordrecht : Kluwer, 1997]
Pubbl/distr/stampa XVII, 277 p., : ill. ; 25 cm
Descrizione fisica Published in cooperation with NATO Scientific Affairs Division.
Soggetto topico 03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03C64 - Model theory of ordered structures; o-minimality [MSC 2020]
12L12 - Model theory of fields [MSC 2020]
ISBN 07-923466-6-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051840
NATO Advanced Study Institute on Algebraic Model Theory : 1996  
XVII, 277 p., : ill. ; 25 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
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 Maltsev, Anatolij I.
Pubbl/distr/stampa Berlin, : Springer, 1973
Descrizione fisica x, 317 p. : ill. ; 24 cm
Soggetto topico 08-XX - General algebraic systems [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
Soggetto non controllato Algebra
Calculus
Group theory
Logic
Mathematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0255798
Maltsev, Anatolij I.  
Berlin, : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
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 Maltsev, Anatolij I.
Pubbl/distr/stampa Berlin, : Springer, 1973
Descrizione fisica x, 317 p. : ill. ; 24 cm
Soggetto topico 03C05 - Equational classes, universal algebra in model theory [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
Soggetto non controllato Algebra
Calculus
Group theory
Logic
Mathematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00255798
Maltsev, Anatolij I.  
Berlin, : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
Autore Czelakowski, Janusz
Pubbl/distr/stampa [Cham], : Birkhäuser, : Springer, 2015
Descrizione fisica IX, 292 p. : ill. ; 24 cm
Soggetto topico 08B10 - Congruence modularity, congruence distributivity [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
08A30 - Subalgebras, congruence relations [MSC 2020]
03G27 - Abstract algebraic logic [MSC 2020]
06C05 - Modular lattices, Desarguesian lattices [MSC 2020]
08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020]
08B05 - Equational logic, Mal'tsev conditions [MSC 2020]
08C15 - Quasivarieties [MSC 2020]
Soggetto non controllato Abstract algebraic logic
Commutator
Commutator theory
Equational logic
Quasivarieties
Universal algebra
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0113687
Czelakowski, Janusz  
[Cham], : Birkhäuser, : Springer, 2015
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui