vix.ing · top · new · best · stats · spec

Shapirovsky, Ilya B.

  1. Glivenko's theorem, finite height, and local tabularity
    2018/06/18 by Ilya Shapirovsky, Shapirovsky, Ilya B. · 2 citations
    Computer Science · #03B45 #03B55 #20F10 #Advanced Algebra and Logic #F.4.1 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems