Contents
Reviews
William W. Boone. The word problem. Annals of mathematics, vol. 70 (1959), pp. 207–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-241
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 (1958), pp. 143–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
William W. Boone. The word problem. Proceedings of the National Academy of Sciences of the United States of America, vol. 44 no. 10 (1958), pp. 1061–1065.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
-
- Article
- Export citation
Frank W. Anderson. Function lattices. Lattice theory. Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 198–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- Article
- Export citation
Clifford Spector. Measure-theoretic construction of incomparable hyperdegrees. The journal of symbolic logic, vol. 23 (for 1958, pub. 1959), pp. 280–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
-
- Article
- Export citation
S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 285–289. - S. C. Kleene. Realizability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 100–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation
A. A. Markov. Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby). Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 300–306.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
D. J. Christensen and R. S. Pierce. Free products of α-distributive Boolean algebras. Mathematica Scandinavica, vol. 7 (1959), pp. 81–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- Article
- Export citation
Stephen C. Kleene. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 154–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
Joseph S. Ullian. A theorem on maximal sets. Notre Dame journal of formal logic, vol. 2 (1961) pp. 222–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
R. S. Pierce. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 (1959), pp. 175–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
R. S. Pierce. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 42–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
A. H. Lachlan. The U-quantifier. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 171–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
Antoniń Špaček. Statistical estimation of provability in Boolean logic. Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, held at Liblice near Prague, from June 1 to 6, 1959, Publishing House of the Czechoslovak Academy of Sciences, Prague1960, pp. 609–626.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
-
- Article
- Export citation
A. A. Markov. Theory of algorithms. English Translation by Jacques J. Schorr-kon, and Program for Scientific Translations staff. Published for the National Science Foundation, Washington, D.C., and the Department of Commerce by the Israel Program for Scientific Translations, Jerusalem1961, 444 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
R. L. Goodstein. Recursive analysis. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1961, viii + 138 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 (1961), pp. 105–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
A. Newell and J. C. Shaw. Programming the logic theory machine. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 230–240. - J. Matlock, L. P. Meissner, P. Sayre, and J. C. Shaw. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
-
- Article
- Export citation
P. S. Novikov. O néprotivoréčivosti nékotoryh logičéskih isčislénij (On the consistency of some logical calculi). Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 71–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation