Contents
Reviews
Nelson Goodman. Axiomatic measurement of simplicity. The journal of philosophy, vol. 52 (1955), pp. 709–722.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
-
- Article
- Export citation
Martin Davis. Extensions and corollaries of recent work on Hilbert's tenth problem. Illinois journal of mathematics, vol. 7 (1963), pp. 246–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 602
-
- Article
- Export citation
Gerald J. Massey. Four simple systems of modal propositional logic. Philosophy of science, vol. 32 (1965), pp. 342–355.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 754
-
- Article
- Export citation
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 (1961), pp. 414–438.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
-
- Article
- Export citation
Anjan Shukla. Decision procedures for Lewis system S1 and related modal systems. Notre Dame journal of formal logic, vol. 11 (1970), pp. 141–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-755
-
- Article
- Export citation
John G. Kemeny. Two measures of complexity. The journal of philosophy, vol. 52 (1955), pp. 722–733.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
-
- Article
- Export citation
Martin Davis and Hilary Putnam. Diophantine sets over polynomial rings. Illinois journal of mathematics, vol. 7 (1963), pp. 251–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
-
- Article
- Export citation
Robert A. DiPaola. Pseudo-complements and ordinal logics based on consistency statements. The journal of symbolic logic, vol. 31 (1966), pp. 359–364. - Robert A. Dipaola. Some properties of pseudo-complements of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 121 (1966), pp. 296–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
-
- Article
- Export citation
Julia Robinson. Diophantine decision problems. Studies in number theory, edited by W. J. LeVeque, Studies in mathematics, vol. 6, The Mathematical Association of America, Washington, D.C., distributed by Prentice-Hall, Inc., Englewood Cuffs, New Jersey, 1969, pp. 76–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
-
- Article
- Export citation
Patrick Suppes. Nelson Goodman on the concept of logical simplicity. Philosophy of science, vol. 23 (1956), pp. 153–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
-
- Article
- Export citation
J. C. E. Dekker. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
-
- Article
- Export citation
Hugues Leblanc. Boolean algebra and the propositional calculus. Mind, n.s. vol. 71 (1962), pp. 383–386.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 755
-
- Article
- Export citation
Nelson Goodman. The test of simplicity. Science, vol. 128 (1958), pp. 1064–1069.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
-
- Article
- Export citation
Julia Robinson. Unsolvable diophantine problems. Proceedings of the American Mathematical Society, vol. 22 (1969), pp. 534–538.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
-
- Article
- Export citation
Hugues Leblanc. The algebra of logic and the theory of deduction. The journal of philosophy, vol. 58 (1961), pp. 553–558.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 755
-
- Article
- Export citation
John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251. - John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 (1970), pp. 129–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
-
- Article
- Export citation
Louise Hay. The co-simple isols. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 231–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
-
- Article
- Export citation
Ken Hirose. A conjecture on Hilbert's 10th problem. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 1 (1968), pp. 31–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
-
- Article
- Export citation
Nelson Goodman. Recent developments in the theory of simplicity. Philosophy and phenomenological research, vol. 19 no. 4 (1959), pp. 429–446.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
-
- Article
- Export citation
M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 (1970), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
-
- Article
- Export citation