12 results
Allen H. Brady. The busy beaver game and the meaning of life. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 259–277.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 1091
- Print publication:
- September 1991
-
- Article
- Export citation
Joseph Warren Dauben. Georg Cantor, his mathematics and philosophy of the infinite. Harvard University Press, Cambridge, Mass. and London, 1979, ix + 404 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-457
- Print publication:
- June 1982
-
- Article
- Export citation
European meeting of the Association for Symbolic Logic, Kiel, 1974
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-278
- Print publication:
- March 1976
-
- Article
- Export citation
Per Lindström. Remarks on some theorems of Keisler. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 571–576.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- June 1971
-
- Article
- Export citation
Roger C. Lyndon. Metamathematics and algebra: An example. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford 1962, pp. 143–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- February 1970
-
- Article
- Export citation
Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 59–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
- Print publication:
- 10 October 1968
-
- Article
- Export citation
On the Craig-Lyndon interpolation theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-274
- Print publication:
- 23 July 1968
-
- Article
- Export citation
H. Jerome Keisler. Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382–408.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
- Print publication:
- August 1967
-
- Article
- Export citation
C. C. Chang. A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642–643.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
- Print publication:
- August 1967
-
- Article
- Export citation
H. Jerome Keisler. Limit ultraproducts. The journal of symbolic logic, vol. 30 (1965), pp. 212–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- August 1967
-
- Article
- Export citation
H. Jerome Keisler. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 507
- Print publication:
- 02 September 1966
-
- Article
- Export citation
T. Frayne, A. C. Morel, and D. S. Scott. Reduced direct products. Fundamenta mathematicae, vol. 51 (1962), pp. 195–228. (See Correction, ibid., vol. 53 no. 1 (1963), p. 117.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 506-507
- Print publication:
- 02 September 1966
-
- Article
- Export citation