Sciweavers

Successor-invariant first-order logic on finite structures
Recent countries visiting this post
Successor-invariant first-order logic on finite structures
us2United States