Contents
Reviews
Miguel Sánchez-Mazas. Notas preliminares para la fundamentación de una Lógica matemática comprehensiva (I). Theoria (Madrid), vol. 1 no. 1 (1952), pp. 25–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
F. J. Murray. Mechanisms, and robots. Journal of the Association for Computing Machinery, vol. 2 (1955), pp. 61–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
Antonio Millan Puelles. Sobre el concepto de existencia en matemáticas. Theoria (Madrid), vol. 1 no. 2 (1952), p. 59. - Miguel Sánchez-Mazas. Los juicios de la Matemática y el modo de existencia de sus objetos. Theoria (Madrid), vol. 1 no. 2 (1952), pp. 60–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
D. P. Henry. Tautology tessellations. Synthese (Bussum), vol. 9 issue 1 no. 1 (1953), pp. 42–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 401
-
- Article
- Export citation
J. A. Postley. A method for the evaluation of a system of Boolean algebraic equations. Mathematical tables and other aids to computation, vol. 9 (1955), pp. 5–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications I. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 113–125. - Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications II. Commentarii mathematici Universitatis Sancti Pauli, Bd. 1 Heft 2 (1953), S. 51–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
Reviews
Miguel Sánchez-Mazas. La teoría del silogismo desarrollada en forma de álgebra. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 95–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
Paul Bernays. Zur Beurteilung der Situation in der beweistheoretischen Forschung. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 153–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation
Yoemon Sampei. Some remarks concerning identity. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 109–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation
Front matter
JSL volume 21 issue 3 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
-
- Article
-
- You have access
- Export citation
Reviews
Kurt Schütte. Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Mathematische Annalen, vol. 123 (1951), pp. 166–186.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation
P. Février-Destouches. Applications des logiques modales en physique quantique. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 167–169.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation
Miguel Sánchez-Mazas. Las recientes investigaciones de historia de la Lógica antigua: La escuela de Łukasiewicz. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 177–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation
Hao Wang. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 283–293.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
-
- Article
- Export citation
Miguel Sánchez-Mazas. Un intento de expresión matemática de la lógica modal clasica: El grupo de matrices modales y el sistema de coordenadas modales. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 188–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
-
- Article
- Export citation
G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-404
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
-
- Article
- Export citation
Reviews
G. Kreisel und Hao Wang. Some applications of formalized consistency proofs. Fundamenta mathematicae, Bd. 42 (1955), S. 101–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-405
-
- Article
- Export citation
Meeting Report
Nineteenth Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-112
-
- Article
- Export citation