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

Diener, Hannes

  1. Constructive Reverse Mathematics
    2018/04/16 by Diener, Hannes · 2 citations
    #FOS: Mathematics #Logic (math.LO)