加载中…
2023-04-26
On homotopical and cohomological interpretations of Logic
Thiago AlexandreGabriel Bittencourt RiosHugo Luiz Mariano
文献摘要
Building over some ideas of René Guitart, we provide a categorical framework towards some deviation notions in abstract logic.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本