Hardback
Add to list Added to list Structure of Decidable Locally Finite Varieties
Ralph McKenzie,Matthew Valeriote
Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]‘…
Available to order, ships in 7-14 daysAvailable to order