5 results
THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 666-678
- Print publication:
- December 2012
-
- Article
- Export citation
Canonical rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1205
- Print publication:
- December 2009
-
- Article
- Export citation
Approximate counting by hashing in bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-860
- Print publication:
- September 2009
-
- Article
- Export citation
Approximate counting in bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 959-993
- Print publication:
- September 2007
-
- Article
- Export citation
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 54-70
- Print publication:
- March 2007
-
- Article
- Export citation