vix.ing
·
top
·
new
·
best
·
stats
·
spec
Safarik, Pavol
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)