אלפרד טרסקי
登记簿 历史 · 保管人，非所有者
mathématicien et logicien américain d'origine polonaise
这部《大书》还没有发布章节。每一章节都将载有其记录、认识论地位和来源 — 将随着编辑充实和辅助生成而逐步添加。
复制以下格式之一来引用此条目或创建指向它的链接。
链接
https://zakhor.ai/zh/grands-livres/figures/alfred-tarskiHTML
<a href="https://zakhor.ai/zh/grands-livres/figures/alfred-tarski">Alfred Tarski — Zakhor</a>引用
Alfred Tarski — Zakhor, https://zakhor.ai/zh/grands-livres/figures/alfred-tarskiA 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