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

Artemov, Sergei

  1. Serial Properties, Selector Proofs, and the Provability of Consistency
    2024/03/18 by Artemov, Sergei · 3 citations
    #03A05 #03B30 #03F03 #03F07 #03F30 #03F40 #F.3.0 #F.4.0 #F.4.1 #FOS: Mathematics #I.2.0 #I.2.3 #Logic (math.LO)