Contents
Reviews
J. I. Friedman. Proper classes as members of extended sets. Mathematische Annalen, vol. 83 (1969), pp. 232–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
Giorgio Ausiello. Abstract computational complexity and cycling computations. Journal of computer and system sciences, vol. 5 (1971), pp. 118–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 (1970), pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 (1971), pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 (1971), pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 (1971), pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 (1971), pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 (1971), pp. 381–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 602
-
- Article
- Export citation
Peter Schofield. Independent conditions for completeness of finite algebras with a single generator. Journal of the London Mathematical Society, vol. 44 (1969), pp. 413–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
Richard Mansfield. Perfect subsets of definable sets of real numbers. Pacific journal of mathematics, vol. 35 (1970), pp. 451–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
V. B. Kudrávcév. O pokrytiáh prédpolnyh klassov k-značnoj logiki (On covers for precomplete classes in k-valued logic). Diskrétnyj analiz, no. 17 (1970), pp. 32–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- Article
- Export citation
V. N. Agafonov. Složnost' vyčisléniá psévdoslučajnyh poslédovatél'nostéj. Algébra i logika, vol. 7 no. 2 (1968), pp. 4–19. - V. N. Agafonov. Complexity of computing pseudorandom sequences. English translation of the preceding. Algebra and logic (New York), vol. 7 (1968), pp. 72–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
R. Bradshaw Angell. Note on a less restricted type of rule of inference. Mind, n.s. vol. 69 (1960), pp. 253–255. - R. B. Angell. The sentential calculus using rule of inference Re. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), p. 143.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
-
- Article
- Export citation
A. N. Prior. Recent advances in tense logic. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 1–15. (Reprinted from The monist, vol. 53 (1969), pp. 325–339.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
Yoemon Sampei. A proof of Mansfield's theorem by forcing method. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 2 (1969), pp. 99–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
Robert A. Dipaola. Random sets in subrecursive hierarchies. Journal of the Association for Computing Machinery, vol. 16 (1969), pp. 621–630.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
-
- Article
- Export citation
Ivo Thomas. The rule of excision in positive implication. Notre Dame journal of formal logic, vol. 3 (1962), p. 64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
-
- Article
- Export citation
Ian Hacking. Logic of statistical inference. Cambridge University Press, Cambridge1965, ix + 232 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
E. M. Kleinberg The independence of Ramsey's theorem. The journal of symbolic logic, vol. 34 (1969), pp. 205–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
C. L. Hamblin. Starting and stopping. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 86–101. (Reprinted from The monist, vol. 53 (1969), pp. 410–425.) - C. L. Hamblin. Instants and intervals. Studium generate, vol. 24 (1971), pp. 127–134. Reprinted in The study of time, edited by J. T. Fraser, F. C. Haber, and G. H. Müller, Springer-Verlag, New York 1972, pp. 324–331.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- Article
- Export citation
J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 61 (1958), pp. 177–183; also Indagationes mathematicae, vol. 20 (1958), pp. 177-183.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
-
- Article
- Export citation
Richard Sharvy. Things. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 164–180. (Reprinted from The monist, vol. 53 (1969), pp. 488–504.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
E. M. Kleinberg. Strong partition properties for infinite cardinals. The journal of symbolic logic, vol. 35 (1970), pp. 410–428.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 463
-
- Article
- Export citation
Sze-Tsen Hu. Threshold logic. University of California Press, Berkeley and Los Angeles1965, xiv + 338 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Hao Wang. Note on rules of inference. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 193–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
-
- Article
- Export citation