Sciweavers

Existential witness extraction in classical realizability and via a negative translation
Recent countries visiting this post
Existential witness extraction in classical realizability and via a negative translation
us8United States
un2
tr1Turkey
ru1Russian Federation