2 results
Jan Krajíček. Bounded arithmetic, propositional logic, and complexity theory. Encyclopedia of mathematics and its applications, vol. 60. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiv + 343 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1357-1362
- Print publication:
- September 1999
-
- Article
- Export citation
Logic and combinatorics, Proceedings of the AMS-IMS-SIAM joint summer research conference held August 4–10, 1985, edited by Stephen Simpson, Contemporary mathematics, vol. 65, American Mathematical Society, Providence1987, xi + 394 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1497
- Print publication:
- December 1992
-
- Article
- Export citation