Jan Kraj�cek profile picture

Jan Kraj�cek

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides, 23)