2 results
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 02 December 2021, pp. 163-181
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 485-495
- Print publication:
- June 2014
-
- Article
- Export citation