Contents
Reviews
Gonzalo Zubieta R. Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 (1950), pp. 1–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
-
- Article
- Export citation
Alan Rose. A lattice-theoretic characterisation of three-valued logic. Journal of the London Mathematical Society, vol. 25 (1950), pp. 255–259. - Alan Rose. Post lattices. Norsk matematisk tidsskrift, vol. 32 (1950), pp. 40–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
John R. Myhill. A reduction in the number of primitive ideas of arithmetic. The journal of symbolic logic, vol. 15 (1950), p. 130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Clarence Irving Lewis and Cooper Harold Langford. Symbolic logic. Dover Publications, Inc., New York1951, 7 pp. + pp. 3–506.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
-
- Article
- Export citation
Daniel Dugué. L'infini en logique et les éléments définis et non calculables. Bulletin de la Société Royale des Sciences de Liège, vol. 19 (1950), pp. 490–499.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
-
- Article
- Export citation
Arthur H. Copeland. Implicative Boolean algebra. Mathematische Zeitschrift, vol. 53 (1950), pp. 285–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
Frank Harary. On complete atomic proper relation algebras. The journal of symbolic logic, vol. 15 (1950), pp. 197–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
W. Peremans. Een opmerking over intuilionistische logica (A remark on intuitionistic logic). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport Z. W.1949, 016, 4 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
Hermann Wendelin. Untersuchungen zur Mengenalgebra. Journal für die reine und angewandte Mathematik, vol. 188 (1950), pp. 78–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
Ivo Thomas. The logical square and modes of categorical syllogism. Contemplations presented to The Dominican Tertiaries of Glasgow 1924–1949, Blackfriars, Oxford (1949), offprint 14 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
Yrjö Reenpää. Die Dualität des Verstandes. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1950, no. 7, pp. 341–414. Reprinted, Springer-Verlag, Heidelberg 1950, 76 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
-
- Article
- Export citation
B. Ú. Pil'čak. O problémé razréšimosti dlá isčisléniá zadač (On the decision problem for the calculus of problems.) Doklady Akadémii Nauk SSSR, vol. 75 (1950), pp. 773–776.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
-
- Article
- Export citation
Tadashi Michiura. On characteristic properties of Boolean algebras. Journal of the Osaka Institute of Science and Technology, Part I, mathematic s and physics, vol. 1 (1949), pp. 129–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
K. Wagner. Zum Repräsentanlenproblem der Logik für Aussagenfunktionen mit beliebig endlich oder unendlich vielen Wahrheitswerten. Mathematische Zeitschrift, vol. 53 no. 4 (1950), pp. 364–374.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 227
-
- Article
- Export citation
Wilhelm Britzelmayr. Interpretation von Kalkülen. Synthese, vol. 7 (1948–1949), pp. 50–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation
Friedrich Waismann. The many-level-structure of language. Synthese, vol. 5 (1946–1947), pp. 221–229.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 75
-
- Article
- Export citation
Alfons Borgers. Development of the notion of set and of the axioms for sets. Synthese, vol. 7 (1948–1949), pp. 374–390.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Evert W. Beth. Logical and psychological aspects in the consideration of language. Synthese, vol. 5 (1946–1947), pp. 542–544.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 75
-
- Article
- Export citation
Karl Dürr. Der Begriff der Funktion in der symbolischen Logik. Synthese, vol. 7 (1948–1949), pp. 418–427.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation
Robert McNaughton. A theorem about infinite-valued sentential logic. The journal of symbolic logic, vol. 16 (1951), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
-
- Article
- Export citation