The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote

• Autore: McKenzie, Ralph
• Pubblicazione: Boston, : Birkhäuser, 1989
• Titolo uniforme: The structure of decidable locally finite varieties
• Descrizione fisica: viii, 212 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 08-XX - General algebraic systems [MSC 2020]; 03C05 - Equational classes, universal algebra in model theory [MSC 2020]; 08A05 - Structure theory of algebraic structures [MSC 2020]; 03B25 - Decidability of theories and sets of sentences [MSC 2020]; 03D35 - Undecidability and degrees of sets of sentences [MSC 2020]; 03C13 - Model theory of finite structures [MSC 2020]; 08B25 - Products, amalgamated products, and other kinds of limits and colimits [MSC 2020]
• Soggetto non controllato: Abelian groups; Algebra; Algorithms; Boolean algebra; Boundary Element Methods; Decidability; Functions; Geometry; Language; Mathematica; Set; System; Theorem; eXist
• Altri autori: Valeriote, Matthew
• Titolo autorizzato: Structure of decidable locally finite varieties
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0254237
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-1-4612-4552-0
• Serie: Progress in mathematics Boston [etc.] . -Birkhäuser ; 79