Truth Complexity for ∏11-Sentences

Proof Theory ◽  
2008 ◽  
pp. 69-82
Sign in / Sign up

Export Citation Format

Share Document