Sciweavers

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories
Recent countries visiting this post
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories
us6United States
un2
it1Italy
ru1Russian Federation