13629 results in The Journal of Symbolic Logic
Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
- Print publication:
- August 1967
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-288
- Print publication:
- August 1967
-
- Article
- Export citation
Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-255
- Print publication:
- August 1967
-
- Article
- Export citation
Intensional interpretations of functionals of finite type I
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-212
- Print publication:
- August 1967
-
- Article
- Export citation
Strong reduction and normal form in combinatory logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-223
- Print publication:
- August 1967
-
- Article
- Export citation
R. H. Vincent. The paradoxes of confirmation. Mind, n.s. vol. 73 (1964), pp. 273–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
- Print publication:
- August 1967
-
- Article
- Export citation
Axioms for strong reduction in combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-236
- Print publication:
- August 1967
-
- Article
- Export citation
Robert McNaughton. Unate truth functions. IRE transactions on electronic computers, vol. EC-10 (1961), pp. 1–6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
- Print publication:
- August 1967
-
- Article
- Export citation
Joseph Ullian. Failure of a conjecture about context free languages. Information and control, vol. 9 (1966), pp. 61–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-267
- Print publication:
- August 1967
-
- Article
- Export citation
R. C. Lyndon. Relation algebras and projective geometry. The Michigan mathematical journal, vol. 8 (1961), pp. 21–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
- Print publication:
- August 1967
-
- Article
- Export citation
H. Jerome Keisler. Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382–408.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
- Print publication:
- August 1967
-
- Article
- Export citation
Georges Kalinowski. Introduction à la logique juridique. Éléments de sémiotique juridique, logique des normes et logique juridique. With a preface by Ch. Perelman. Bibliothèque de philosophie du droit, volume III. Librairie Générale de Droit et de Jurisprudence, Paris1965, vi + 188 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
- Print publication:
- August 1967
-
- Article
- Export citation
Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 3–26, and vol. 5 (1959), pp. 96–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
- Print publication:
- August 1967
-
- Article
- Export citation
Helmut Thiele. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 93–106. - Helmut Thiele. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 108–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
- Print publication:
- August 1967
-
- Article
- Export citation
R. W. House and T. Rado. On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 48–77. (See Erratum, ibid., p. 256.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- August 1967
-
- Article
- Export citation
R. W. House and T. Rado. A generalization of Nelson's algorithm for obtaining prime implicants. The journal of symbolic logic, vol. 30 (1965), pp. 8–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
- Print publication:
- August 1967
-
- Article
- Export citation
K. Jaakko J. Hintikka. Identity, variables, and impredicative definitions. The journal of symbolic logic, vol. 21 (1956), pp. 225–245. - K. Jaakko J. Hintikka. Vicious circle principle and the paradoxes. The journal of symbolic logic, vol. 22 (1957), pp. 245–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
- Print publication:
- August 1967
-
- Article
- Export citation
András Hajnal. On a consistency theorem connected with the generalized continuum problem. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 131–136. - A. Hajnal. On a consistency theorem connected with the generalized continuum problem. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 321–376. - Azriel Lévy. A generalization of Gödel's notion of constructibility. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 147–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
- Print publication:
- August 1967
-
- Article
- Export citation
T. G. McLaughlin. Some observations on quasicohesive sets. The Michigan mathematical journal, vol. 11 (1964), pp. 83–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- August 1967
-
- Article
- Export citation
Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 (1960), S. 269–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
- Print publication:
- August 1967
-
- Article
- Export citation