
Tell your friends about this item:
Structure of Decidable Locally Finite Varieties - Progress in Mathematics 1989 edition
Ralph McKenzie
Structure of Decidable Locally Finite Varieties - Progress in Mathematics 1989 edition
Ralph McKenzie
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).
216 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | November 1, 1989 |
ISBN13 | 9780817634391 |
Publishers | Birkhauser Boston Inc |
Pages | 216 |
Dimensions | 155 × 235 × 14 mm · 498 g |
Language | English |
See all of Ralph McKenzie ( e.g. Hardcover Book and Paperback Book )