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 )
Christmas presents can be returned until 31 January