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

Mark van Atten

  1. The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs
    2018/04/30 by Mark van Atten, van Atten, Mark · 1 voice · 1 citation
    Mathematics · #FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO) #math.HO #math.LO