אלפרד טרסקי
mathématicien et logicien américain d'origine polonaise
У этой Великой Книги ещё нет опубликованных глав. Главы — каждая со своим регистром, эпистемическим статусом и источниками — будут добавляться по мере редакционного обогащения и ассистированного создания.
Copy any of these formats to cite this page or link to it.
Link
https://zakhor.ai/ru/grands-livres/figures/alfred-tarskiHTML
<a href="https://zakhor.ai/ru/grands-livres/figures/alfred-tarski">Alfred Tarski — Zakhor</a>Citation
Alfred Tarski — Zakhor, https://zakhor.ai/ru/grands-livres/figures/alfred-tarskiрегистр История · хранитель, не владелец
A Decision Method for Elementary Algebra and Geometry
1948
A Formalization of Set Theory Without Variables
1987
Cardinal Algebras
1949
Cylindric Algebras: Part I
1971
Cylindric Algebras: Part II
1985
Introduction to Logic and to the Methodology of Deductive Sciences
1941
Logic, Semantics, Metamathematics
1956
Ordinal Algebras
1956
Undecidable Theories
1953