Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Theories of Proof-Theoretic Strength Ψ (ΓΩ +1)

Ulrik Buchholtz, Gerhard Jäger and Thomas Strahm
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston