vix.ing
·
top
·
new
·
best
·
stats
·
spec
The Countable Reals
2024/04/01 by
Andrej Bauer
,
Bauer, Andrej
,
James E. Hanson
+1 · 3 voices
Mathematics
·
#03B99
#03F55
#FOS: Mathematics
#Logic (math.LO)
#math.LO