Recomienda este artículo a tus amigos:
Structure of Decidable Locally Finite Varieties - Progress in Mathematics Ralph McKenzie 1989 edition
Structure of Decidable Locally Finite Varieties - Progress in Mathematics
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 1 de noviembre de 1989 |
| ISBN13 | 9780817634391 |
| Editores | Birkhauser Boston Inc |
| Páginas | 216 |
| Dimensiones | 155 × 235 × 14 mm · 498 g |
| Lengua | Inglés |