01719nam0 2200349 i 450 SUN005373120171122113327.34908-17-63439-80.00978-08-17-63439-120060929d1989 |0engc50 baengUS|||| |||||The *structure of decidable locally finite varietiesRalph McKenzie, Matthew ValerioteBostonBirkhäuser1989VIII, 212 p.24 cm.001SUN00293292001 *Progress in mathematics79210 BostonBirkhäuser1970-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003C05Equational classes, universal algebra in model theory [MSC 2020]MFSUNC02242303B25Decidability of theories and sets of sentences [MSC 2020]MFSUNC02440003D35Undecidability and degrees of sets of sentences [MSC 2020]MFSUNC02443603C13Model theory of finite structures [MSC 2020]MFSUNC024491BostonSUNL000051McKenzie, RalphSUNV02073155715Valeriote, MatthewSUNV040764726126BirkhäuserSUNV000319650ITSOL20201012RICAhttps://books.google.it/books?id=gGJg9z7BARoC&pg=PA199&dq=0817634398&hl=it&sa=X&ved=0ahUKEwj8u5WZ_dHXAhXL7RQKHaB6DsYQ6AEIJjAA#v=onepage&q&f=falseSUN0053731UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2654 08 4882 I 20060929 Structure of decidable locally finite varieties1427098UNICAMPANIA