Travaux de logique mathématique (lemme de Lindenbaum ; algèbre de Lindenbaum–Tarski)
用我们的AI创建大书登记簿 历史 · 保管人,非所有者
Adolf Lindenbaum 的科学论文。(1920年代—1930年代)
一部待创作的书
这部《大书》尚未撰写。可在此处直接启动撰写:Claude 依据语料库中的档案件与网络检索撰成一部原创著作,此后每有新来源汇入即予充实。
来源与资源
🔗 引用/链接此页面
复制以下格式之一来引用此条目或创建指向它的链接。
链接
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