Sciweavers

On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Recent Google, Yahoo, MSN search queries leading to this post
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Data is not available yet.