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 Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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).
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz