Reviews
David Greenwood. Quantitative inductive procedures. The nature of science and other essays, by David Greenwood, Philosophical Library, New York1959, pp. 32–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-496
-
- Article
- Export citation
Wolfgang Stegmüller. Das Wahrheitsproblem und die Idee der Semantik. Eine Einführung in die Theorien von A. Tarski und R. Carnap. Springer-Verlag, Vienna1957, X + 328 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 496
-
- Article
- Export citation
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
-
- Article
- Export citation
Paul Henle. Mysticism and semantics. English with Spanish summary. Philosophy and phenomenological research, vol. 9 (1948–1949), pp. 416–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 497
-
- Article
- Export citation
N. L. Wilson. The indestructibility and immutability of substances. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 46–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-498
-
- Article
- Export citation
M. J. Cresswell. On the logic of incomplete answers. The journal of symbolic logic, vol. 30 (1965), pp. 65–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 498
-
- Article
- Export citation
Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 (1962), pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 (1962), pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 (1963), pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 (1962), pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 (1964), pp. 125–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-500
-
- Article
- Export citation
Federico M. Sioson. Further axiomatizations of the Łukasiewicz three-valued calculus. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 62–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-501
-
- Article
- Export citation
Wacław Sadowski. Dowód aksjomatyzowalności pewnych n-wartościowych rachunków zdań (A proof of axiomatizability of certain n-valued sentential calculi). Polish, with Russian and English summaries. Studia logica, vol. 15 (1964), pp. 25–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
-
- Article
- Export citation
G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 (1961), pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 (1961), pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ (On superpositions of functions in Ρκ). Problémy kibérnétiki, vol. 9 (1963), pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah (Investigation of some classes of functions in multivalued logics). Problémy kibérnétiki, vol. 3(1960), pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ (On some properties of essential functions from Рκ). Problémy kibérnétiki, vol. 12 (1964), pp. 247–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
-
- Article
- Export citation
A. Grzegorczyk. A note on the theory of prepositional types. Fundamenta mathematicae, vol. 54 (1964), pp. 27–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-503
-
- Article
- Export citation
M. R. Krom. Separation principles in the hierarchy theory of pure first-order logic. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 222–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
-
- Article
- Export citation
Erwin Engeler. Äquivalenzklassen von n-Tupeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 340–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria (Lund), vol. 25 (1959), pp. 82–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
C. Ryll-Nardzewski. On the categoricity in power . Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
-
- 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
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
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
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
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