Travaux de logique mathématique (lemme de Lindenbaum ; algèbre de Lindenbaum–Tarski)
用我们的AI创建大书登记簿 历史 · 保管人，非所有者
Adolf Lindenbaum 的科学论文。(1920年代—1930年代)
正在编写的大书
这部《大书》还没有发布章节。每一章节都将载有其记录、认识论地位和来源 — 将随着编辑充实和辅助生成而逐步添加。
来源与资源
🔗 引用/链接此页面
复制以下格式之一来引用此条目或创建指向它的链接。
链接
https://zakhor.ai/zh/grands-livres/textes/travaux-de-logique-mathematique-lemme-de-lindenbaum-algebre-de-lindenbaum-tarskiHTML
<a href="https://zakhor.ai/zh/grands-livres/textes/travaux-de-logique-mathematique-lemme-de-lindenbaum-algebre-de-lindenbaum-tarski">Travaux de logique mathématique (lemme de Lindenbaum ; algèbre de Lindenbaum–Tarski) — Zakhor</a>引用
Travaux de logique mathématique (lemme de Lindenbaum ; algèbre de Lindenbaum–Tarski) — Zakhor, https://zakhor.ai/zh/grands-livres/textes/travaux-de-logique-mathematique-lemme-de-lindenbaum-algebre-de-lindenbaum-tarski