3

Answers
votes newest views recent
1
Interesting mathematical documentaries
1
A proof of $ZF \vdash AC^L$
1
History of provably total functions of a theory