2 results
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 785-800
- Print publication:
- June 2021
-
- Article
- Export citation
A SIMPLE ALGORITHM FOR DEDUCTION
- Part of
-
- Journal:
- The ANZIAM Journal / Volume 51 / Issue 1 / July 2009
- Published online by Cambridge University Press:
- 09 March 2010, pp. 102-122
-
- Article
-
- You have access
- Export citation