02275nam0 2200529 i 450 VAN005373120230207113033.711978-08-17-63439-120060929d1989 |0itac50 baengUS|||| |||||ˆThe ‰structure of decidable locally finite varietiesRalph McKenzie, Matthew ValerioteBostonBirkhäuser1989VIII, 212 p.24 cm001VAN00293292001 Progress in mathematics210 Boston [etc.]Birkhäuser79VAN0254235ˆThe ‰structure of decidable locally finite varieties142709803-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C05Equational classes, universal algebra in model theory [MSC 2020]VANC022423MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MF03C13Model theory of finite structures [MSC 2020]VANC024491MFAbelian groupsKW:KAlgebraKW:KAlgorithmsKW:KBoolean algebraKW:KBoundary Element MethodsKW:KDecidabilityKW:KFunctionsKW:KGeometryKW:KLanguageKW:KMathematicaKW:KSetKW:KSystemKW:KTheoremKW:KeXistKW:KBostonVANL000051McKenzieRalphVANV02073155715ValerioteMatthewVANV040764726126Birkhäuser <editore>VANV108193650ITSOL20230616RICA/sebina/repository/catalogazione/documenti/Structure of decidable....pdfStructure of decidable....pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0053731BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2654 08 4882 I 20060929 Structure of decidable locally finite varieties1427098UNICAMPANIA