Reviews
William C. Nemitz. Implicative semi-lattices. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 128–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
Lars Svenonius. A theorem on permutations in models. Theoria (Lund), vol. 25 (1959), pp. 173–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
-
- Article
- Export citation
Jaakko Hintikka. Modality and quantification. Theoria (Lund), vol. 27 (1961), pp. 119–128. - Jaakko Hintikka. The modes of modality. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 65–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
-
- Article
- Export citation
Michael O. Rabin. Real time computation. Israel journal of mathematics, vol. 1 (1963), pp. 203–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
-
- Article
- Export citation
Wilson E. Singletary. A complex of problems proposed by Post. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 105–109. See Correction, ibid., p. 826.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
-
- Article
- Export citation
Lars Svenonius. Some problems in logical model-theory. Library of Theoria, no. IV. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1960, 43 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-506
-
- Article
- Export citation
W. V. Quine. A proof procedure for quantification theory. The journal of symbolic logic, vol. 20 (1955), pp. 141–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
-
- Article
- Export citation
Nicholas Rescher. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 447–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-124
-
- Article
- Export citation
P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 (1960), pp. 28–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 699–706.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
-
- Article
- Export citation
Wacław Sadowski. Pewien dowód zupełności dwuwartościowego rachunku zdań (A proof of completeness of the two-valued propositional calculus). Polish, with Russian and English summaries. Studia logica, vol. 11 (1961), pp. 49–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 274
-
- 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.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 506-507
-
- Article
- Export citation
Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 (1958), pp. 541–556.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
-
- Article
- Export citation
Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 201–215.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
H. Jerome Keisler. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 507
-
- Article
- Export citation
Akira Nakamura. Tati ronri to sono kôrikei ni tuite (On the many-valued logics and an axiomatic system for them). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 5 no. 4 (1962), pp. 165–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
-
- Article
- Export citation
Hector-Neri Castaneda. A note on S5. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 191–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
-
- Article
- Export citation
Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 102–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation
Shôji Maehara. Remark on Skolem's theorem concerning the impossibility of characterization of the natural number sequence. Proceedings of the Japan Academy, vol. 33 (1957), pp. 588–590.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
-
- Article
- Export citation
Donald Monk. On representable relation algebras. The Michigan mathematical journal, vol. 11 (1964), pp. 207–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 508
-
- Article
- Export citation