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

Briseid, Eyvind

  1. A functional interpretation for nonstandard arithmetic
    2011/09/14 by Berg, Benno van den, Briseid, Eyvind, Safarik, Pavol · 1 citation
    #03F10 #03F30 #03F50 #11U10 #26E35 #FOS: Mathematics #Logic (math.LO)