
Conte aos seus amigos sobre este 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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 1 de novembro de 1989 |
ISBN13 | 9780817634391 |
Editoras | Birkhauser Boston Inc |
Páginas | 216 |
Dimensões | 155 × 235 × 14 mm · 498 g |
Idioma | English |
Ver tudo de Ralph McKenzie ( por exemplo Hardcover Book e Paperback Book )