The Lattice of Subquasivarieties of a Locally Finite Quasivariety, Jennifer Hyndman; J. B. Nation
Автор: Ralph McKenzie; Matthew Valeriote Название: Structure of Decidable Locally Finite Varieties ISBN: 0817634398 ISBN-13(EAN): 9780817634391 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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]` but Tarski discovered these results around 1930).
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru