Sciweavers

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
Recent countries visiting this post
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
us3United States
ru1Russian Federation