1 results
A SIMPLIFIED LOWER BOUND FOR IMPLICATIONAL LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 31 / Issue 1 / March 2025
- Published online by Cambridge University Press:
- 22 January 2025, pp. 53-87
- Print publication:
- March 2025
-
- Article
-
- You have access
- Open access
- HTML
- Export citation