Sciweavers

Krivine's intuitionistic proof of classical completeness (for countable languages)
Recent Google, Yahoo, MSN search queries leading to this post
Krivine's intuitionistic proof of classical completeness (for countable languages)
Data is not available yet.