10 results
H. Hiż. A warning about translating axioms. The American mathematical monthly, vol. 65 (1958) pp. 613–614.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- September 1959
-
- Article
- Export citation
William Kneale. The province of logic. Mind, n.s. vol. 66 (1957), p. 258. Corrections to the preceding. - Hugues Leblanc. An introduction to deductive logic. John Wiley & Sons, New York1955, and Chapman and Hall, London 1955, xii + 244 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-212
- Print publication:
- June 1958
-
- Article
- Export citation
Systems of transfinite types involving λ-conversion
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-224
- Print publication:
- September 1953
-
- Article
- Export citation
Joseph Dopp. Leçons de logique formelle. Première partie. Logique aticienne. La logique desjugements prédicatifs. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1949, XI + 166 pp. - Joseph Dopp. Leçons de logique formelle. Deuxième partie. Logique moderne I. Le calcul des propositions inanalysées. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1950, XI + 216 pp. - Joseph Dopp. Leçons de logique formelle. Troisième partie. Logique moderne II. Logique des propositions à une ou plusieurs mentions d'objets. Éditions de l'lnstitut Supérieur de Philosophie, Louvain1950, XVI + 274 pp. [Therein: Addenda et corrigenda to the first and second parts, pp. 272–274.] - Joseph Dopp. Table des formules. Leçons de logique formelle, II et III, Annexe. Éditions de l'lnstitut Supérieur de Philosophie, Louvain, 15 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- September 1953
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
- Print publication:
- December 1951
-
- Article
- Export citation
On the independence of Henkin's axioms for fragments of the propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 1 / March 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-45
- Print publication:
- March 1951
-
- Article
- Export citation
A. M. Turing. Practical forms of type theory. The journal of symbolic logic, vol. 13 (1948), pp. 80–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
- Print publication:
- September 1949
-
- Article
- Export citation
A. M. Turing. Practical forms of type theory. The journal of symbolic logic, vol. 13 (1948), pp. 80–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 1 / 16 May 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
- Print publication:
- 16 May 1949
-
- Article
- Export citation
Paulette Destouches-Février. Esquisse d'une Mathématique intuitioniste positive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 225 (1947), pp. 1241–1243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 3 / December 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
- Print publication:
- December 1948
-
- Article
- Export citation
Henri Hiż. Remarque sur le degré de complétude. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 223 (1946), pp. 973–974.
-
- Journal:
- The Journal of Symbolic Logic / Volume 12 / Issue 2 / 23 June 1947
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
- Print publication:
- 23 June 1947
-
- Article
- Export citation