1 results
Sergei N. Artemov. Explicit provability and constructive semantics. The bulletin of symbolic logic, vol. 7 (2001), pp. 1–36.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 432-433
- Print publication:
- September 2002
-
- Article
- Export citation